blob: 522cc0afb690144ec25ae82f4ce449951ff544a8 [file] [log] [blame]
Sam Koltonf60ad582017-03-21 12:51:34 +00001//===-- SIPeepholeSDWA.cpp - Peephole optimization for SDWA instructions --===//
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//
10/// \file This pass tries to apply several peephole SDWA patterns.
11///
12/// E.g. original:
13/// V_LSHRREV_B32_e32 %vreg0, 16, %vreg1
14/// V_ADD_I32_e32 %vreg2, %vreg0, %vreg3
15/// V_LSHLREV_B32_e32 %vreg4, 16, %vreg2
16///
17/// Replace:
18/// V_ADD_I32_sdwa %vreg4, %vreg1, %vreg3
19/// dst_sel:WORD_1 dst_unused:UNUSED_PAD src0_sel:WORD_1 src1_sel:DWORD
20///
21//===----------------------------------------------------------------------===//
22
23
24#include "AMDGPU.h"
25#include "AMDGPUSubtarget.h"
26#include "SIDefines.h"
27#include "SIInstrInfo.h"
28#include "llvm/ADT/Statistic.h"
29#include "llvm/ADT/STLExtras.h"
30#include "llvm/CodeGen/MachineFunctionPass.h"
31#include "llvm/CodeGen/MachineInstrBuilder.h"
32#include <unordered_map>
Sam Koltonebfdaf72017-05-18 12:12:03 +000033#include <unordered_set>
Sam Koltonf60ad582017-03-21 12:51:34 +000034
35using namespace llvm;
36
37#define DEBUG_TYPE "si-peephole-sdwa"
38
39STATISTIC(NumSDWAPatternsFound, "Number of SDWA patterns found.");
40STATISTIC(NumSDWAInstructionsPeepholed,
41 "Number of instruction converted to SDWA.");
42
43namespace {
44
45class SDWAOperand;
46
47class SIPeepholeSDWA : public MachineFunctionPass {
Sam Koltonebfdaf72017-05-18 12:12:03 +000048public:
49 typedef SmallVector<SDWAOperand *, 4> SDWAOperandsVector;
50
Sam Koltonf60ad582017-03-21 12:51:34 +000051private:
52 MachineRegisterInfo *MRI;
53 const SIRegisterInfo *TRI;
54 const SIInstrInfo *TII;
55
56 std::unordered_map<MachineInstr *, std::unique_ptr<SDWAOperand>> SDWAOperands;
Sam Koltonebfdaf72017-05-18 12:12:03 +000057 std::unordered_map<MachineInstr *, SDWAOperandsVector> PotentialMatches;
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +000058 SmallVector<MachineInstr *, 8> ConvertedInstructions;
Sam Koltonf60ad582017-03-21 12:51:34 +000059
Sam Kolton27e0f8b2017-03-31 11:42:43 +000060 Optional<int64_t> foldToImm(const MachineOperand &Op) const;
61
Sam Koltonf60ad582017-03-21 12:51:34 +000062public:
63 static char ID;
64
Sam Koltonf60ad582017-03-21 12:51:34 +000065 SIPeepholeSDWA() : MachineFunctionPass(ID) {
66 initializeSIPeepholeSDWAPass(*PassRegistry::getPassRegistry());
67 }
68
69 bool runOnMachineFunction(MachineFunction &MF) override;
Sam Koltonaff83412017-04-12 09:36:05 +000070 void matchSDWAOperands(MachineFunction &MF);
Sam Koltonebfdaf72017-05-18 12:12:03 +000071 bool isConvertibleToSDWA(const MachineInstr &MI) const;
Sam Koltonf60ad582017-03-21 12:51:34 +000072 bool convertToSDWA(MachineInstr &MI, const SDWAOperandsVector &SDWAOperands);
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +000073 void legalizeScalarOperands(MachineInstr &MI) const;
Sam Koltonf60ad582017-03-21 12:51:34 +000074
75 StringRef getPassName() const override { return "SI Peephole SDWA"; }
76
77 void getAnalysisUsage(AnalysisUsage &AU) const override {
78 AU.setPreservesCFG();
79 MachineFunctionPass::getAnalysisUsage(AU);
80 }
81};
82
83class SDWAOperand {
84private:
85 MachineOperand *Target; // Operand that would be used in converted instruction
86 MachineOperand *Replaced; // Operand that would be replace by Target
87
88public:
89 SDWAOperand(MachineOperand *TargetOp, MachineOperand *ReplacedOp)
90 : Target(TargetOp), Replaced(ReplacedOp) {
91 assert(Target->isReg());
92 assert(Replaced->isReg());
93 }
94
95 virtual ~SDWAOperand() {}
96
97 virtual MachineInstr *potentialToConvert(const SIInstrInfo *TII) = 0;
98 virtual bool convertToSDWA(MachineInstr &MI, const SIInstrInfo *TII) = 0;
99
100 MachineOperand *getTargetOperand() const { return Target; }
101 MachineOperand *getReplacedOperand() const { return Replaced; }
102 MachineInstr *getParentInst() const { return Target->getParent(); }
103 MachineRegisterInfo *getMRI() const {
104 return &getParentInst()->getParent()->getParent()->getRegInfo();
105 }
106};
107
108using namespace AMDGPU::SDWA;
109
110class SDWASrcOperand : public SDWAOperand {
111private:
112 SdwaSel SrcSel;
113 bool Abs;
114 bool Neg;
115 bool Sext;
116
117public:
118 SDWASrcOperand(MachineOperand *TargetOp, MachineOperand *ReplacedOp,
119 SdwaSel SrcSel_ = DWORD, bool Abs_ = false, bool Neg_ = false,
120 bool Sext_ = false)
121 : SDWAOperand(TargetOp, ReplacedOp), SrcSel(SrcSel_), Abs(Abs_),
122 Neg(Neg_), Sext(Sext_) {}
123
124 virtual MachineInstr *potentialToConvert(const SIInstrInfo *TII) override;
125 virtual bool convertToSDWA(MachineInstr &MI, const SIInstrInfo *TII) override;
126
127 SdwaSel getSrcSel() const { return SrcSel; }
128 bool getAbs() const { return Abs; }
129 bool getNeg() const { return Neg; }
130 bool getSext() const { return Sext; }
131
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000132 uint64_t getSrcMods(const SIInstrInfo *TII,
133 const MachineOperand *SrcOp) const;
Sam Koltonf60ad582017-03-21 12:51:34 +0000134};
135
136class SDWADstOperand : public SDWAOperand {
137private:
138 SdwaSel DstSel;
139 DstUnused DstUn;
140
141public:
142 SDWADstOperand(MachineOperand *TargetOp, MachineOperand *ReplacedOp,
143 SdwaSel DstSel_ = DWORD, DstUnused DstUn_ = UNUSED_PAD)
144 : SDWAOperand(TargetOp, ReplacedOp), DstSel(DstSel_), DstUn(DstUn_) {}
145
146 virtual MachineInstr *potentialToConvert(const SIInstrInfo *TII) override;
147 virtual bool convertToSDWA(MachineInstr &MI, const SIInstrInfo *TII) override;
148
149 SdwaSel getDstSel() const { return DstSel; }
150 DstUnused getDstUnused() const { return DstUn; }
151};
152
153} // End anonymous namespace.
154
155INITIALIZE_PASS(SIPeepholeSDWA, DEBUG_TYPE, "SI Peephole SDWA", false, false)
156
157char SIPeepholeSDWA::ID = 0;
158
159char &llvm::SIPeepholeSDWAID = SIPeepholeSDWA::ID;
160
161FunctionPass *llvm::createSIPeepholeSDWAPass() {
162 return new SIPeepholeSDWA();
163}
164
165#ifndef NDEBUG
166
167static raw_ostream& operator<<(raw_ostream &OS, const SdwaSel &Sel) {
168 switch(Sel) {
169 case BYTE_0: OS << "BYTE_0"; break;
170 case BYTE_1: OS << "BYTE_1"; break;
171 case BYTE_2: OS << "BYTE_2"; break;
172 case BYTE_3: OS << "BYTE_3"; break;
173 case WORD_0: OS << "WORD_0"; break;
174 case WORD_1: OS << "WORD_1"; break;
175 case DWORD: OS << "DWORD"; break;
176 }
177 return OS;
178}
179
180static raw_ostream& operator<<(raw_ostream &OS, const DstUnused &Un) {
181 switch(Un) {
182 case UNUSED_PAD: OS << "UNUSED_PAD"; break;
183 case UNUSED_SEXT: OS << "UNUSED_SEXT"; break;
184 case UNUSED_PRESERVE: OS << "UNUSED_PRESERVE"; break;
185 }
186 return OS;
187}
188
189static raw_ostream& operator<<(raw_ostream &OS, const SDWASrcOperand &Src) {
190 OS << "SDWA src: " << *Src.getTargetOperand()
191 << " src_sel:" << Src.getSrcSel()
192 << " abs:" << Src.getAbs() << " neg:" << Src.getNeg()
193 << " sext:" << Src.getSext() << '\n';
194 return OS;
195}
196
197static raw_ostream& operator<<(raw_ostream &OS, const SDWADstOperand &Dst) {
198 OS << "SDWA dst: " << *Dst.getTargetOperand()
199 << " dst_sel:" << Dst.getDstSel()
200 << " dst_unused:" << Dst.getDstUnused() << '\n';
201 return OS;
202}
203
204#endif
205
Sam Koltonf60ad582017-03-21 12:51:34 +0000206static void copyRegOperand(MachineOperand &To, const MachineOperand &From) {
207 assert(To.isReg() && From.isReg());
208 To.setReg(From.getReg());
209 To.setSubReg(From.getSubReg());
210 To.setIsUndef(From.isUndef());
211 if (To.isUse()) {
212 To.setIsKill(From.isKill());
213 } else {
214 To.setIsDead(From.isDead());
215 }
216}
217
218static bool isSameReg(const MachineOperand &LHS, const MachineOperand &RHS) {
219 return LHS.isReg() &&
220 RHS.isReg() &&
221 LHS.getReg() == RHS.getReg() &&
222 LHS.getSubReg() == RHS.getSubReg();
223}
224
225static bool isSubregOf(const MachineOperand &SubReg,
226 const MachineOperand &SuperReg,
227 const TargetRegisterInfo *TRI) {
228
229 if (!SuperReg.isReg() || !SubReg.isReg())
230 return false;
231
232 if (isSameReg(SuperReg, SubReg))
233 return true;
234
235 if (SuperReg.getReg() != SubReg.getReg())
236 return false;
237
Sam Kolton9fa16962017-04-06 15:03:28 +0000238 LaneBitmask SuperMask = TRI->getSubRegIndexLaneMask(SuperReg.getSubReg());
239 LaneBitmask SubMask = TRI->getSubRegIndexLaneMask(SubReg.getSubReg());
240 SuperMask |= ~SubMask;
241 return SuperMask.all();
Sam Koltonf60ad582017-03-21 12:51:34 +0000242}
243
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000244uint64_t SDWASrcOperand::getSrcMods(const SIInstrInfo *TII,
245 const MachineOperand *SrcOp) const {
Sam Koltonf60ad582017-03-21 12:51:34 +0000246 uint64_t Mods = 0;
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000247 const auto *MI = SrcOp->getParent();
248 if (TII->getNamedOperand(*MI, AMDGPU::OpName::src0) == SrcOp) {
249 if (auto *Mod = TII->getNamedOperand(*MI, AMDGPU::OpName::src0_modifiers)) {
250 Mods = Mod->getImm();
251 }
252 } else if (TII->getNamedOperand(*MI, AMDGPU::OpName::src1) == SrcOp) {
253 if (auto *Mod = TII->getNamedOperand(*MI, AMDGPU::OpName::src1_modifiers)) {
254 Mods = Mod->getImm();
255 }
256 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000257 if (Abs || Neg) {
258 assert(!Sext &&
259 "Float and integer src modifiers can't be set simulteniously");
260 Mods |= Abs ? SISrcMods::ABS : 0;
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000261 Mods ^= Neg ? SISrcMods::NEG : 0;
Sam Koltonf60ad582017-03-21 12:51:34 +0000262 } else if (Sext) {
263 Mods |= SISrcMods::SEXT;
264 }
265
266 return Mods;
267}
268
269MachineInstr *SDWASrcOperand::potentialToConvert(const SIInstrInfo *TII) {
270 // For SDWA src operand potential instruction is one that use register
271 // defined by parent instruction
272 MachineRegisterInfo *MRI = getMRI();
273 MachineOperand *Replaced = getReplacedOperand();
274 assert(Replaced->isReg());
275
276 MachineInstr *PotentialMI = nullptr;
277 for (MachineOperand &PotentialMO : MRI->use_operands(Replaced->getReg())) {
278 // If this is use of another subreg of dst reg then do nothing
279 if (!isSubregOf(*Replaced, PotentialMO, MRI->getTargetRegisterInfo()))
280 continue;
281
Sam Koltonaff83412017-04-12 09:36:05 +0000282 // If there exist use of superreg of dst then we should not combine this
283 // opernad
284 if (!isSameReg(PotentialMO, *Replaced))
Sam Koltonf60ad582017-03-21 12:51:34 +0000285 return nullptr;
286
287 // Check that PotentialMI is only instruction that uses dst reg
288 if (PotentialMI == nullptr) {
289 PotentialMI = PotentialMO.getParent();
290 } else if (PotentialMI != PotentialMO.getParent()) {
291 return nullptr;
292 }
293 }
294
295 return PotentialMI;
296}
297
298bool SDWASrcOperand::convertToSDWA(MachineInstr &MI, const SIInstrInfo *TII) {
299 // Find operand in instruction that matches source operand and replace it with
300 // target operand. Set corresponding src_sel
301
302 MachineOperand *Src = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
303 MachineOperand *SrcSel = TII->getNamedOperand(MI, AMDGPU::OpName::src0_sel);
304 MachineOperand *SrcMods =
305 TII->getNamedOperand(MI, AMDGPU::OpName::src0_modifiers);
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +0000306 assert(Src && (Src->isReg() || Src->isImm()));
Sam Koltonf60ad582017-03-21 12:51:34 +0000307 if (!isSameReg(*Src, *getReplacedOperand())) {
308 // If this is not src0 then it should be src1
309 Src = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
310 SrcSel = TII->getNamedOperand(MI, AMDGPU::OpName::src1_sel);
311 SrcMods = TII->getNamedOperand(MI, AMDGPU::OpName::src1_modifiers);
312
313 assert(Src && Src->isReg());
314
315 if ((MI.getOpcode() == AMDGPU::V_MAC_F16_sdwa ||
316 MI.getOpcode() == AMDGPU::V_MAC_F32_sdwa) &&
317 !isSameReg(*Src, *getReplacedOperand())) {
318 // In case of v_mac_f16/32_sdwa this pass can try to apply src operand to
319 // src2. This is not allowed.
320 return false;
321 }
322
323 assert(isSameReg(*Src, *getReplacedOperand()) && SrcSel && SrcMods);
324 }
325 copyRegOperand(*Src, *getTargetOperand());
326 SrcSel->setImm(getSrcSel());
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000327 SrcMods->setImm(getSrcMods(TII, Src));
Sam Koltonf60ad582017-03-21 12:51:34 +0000328 getTargetOperand()->setIsKill(false);
329 return true;
330}
331
332MachineInstr *SDWADstOperand::potentialToConvert(const SIInstrInfo *TII) {
333 // For SDWA dst operand potential instruction is one that defines register
334 // that this operand uses
335 MachineRegisterInfo *MRI = getMRI();
336 MachineInstr *ParentMI = getParentInst();
337 MachineOperand *Replaced = getReplacedOperand();
338 assert(Replaced->isReg());
339
340 for (MachineOperand &PotentialMO : MRI->def_operands(Replaced->getReg())) {
341 if (!isSubregOf(*Replaced, PotentialMO, MRI->getTargetRegisterInfo()))
342 continue;
343
Sam Koltonaff83412017-04-12 09:36:05 +0000344 if (!isSameReg(*Replaced, PotentialMO))
Sam Koltonf60ad582017-03-21 12:51:34 +0000345 return nullptr;
346
347 // Check that ParentMI is the only instruction that uses replaced register
348 for (MachineOperand &UseMO : MRI->use_operands(PotentialMO.getReg())) {
349 if (isSubregOf(UseMO, PotentialMO, MRI->getTargetRegisterInfo()) &&
350 UseMO.getParent() != ParentMI) {
351 return nullptr;
352 }
353 }
354
355 // Due to SSA this should be onle def of replaced register, so return it
356 return PotentialMO.getParent();
357 }
358
359 return nullptr;
360}
361
362bool SDWADstOperand::convertToSDWA(MachineInstr &MI, const SIInstrInfo *TII) {
363 // Replace vdst operand in MI with target operand. Set dst_sel and dst_unused
364
365 if ((MI.getOpcode() == AMDGPU::V_MAC_F16_sdwa ||
366 MI.getOpcode() == AMDGPU::V_MAC_F32_sdwa) &&
367 getDstSel() != AMDGPU::SDWA::DWORD) {
368 // v_mac_f16/32_sdwa allow dst_sel to be equal only to DWORD
369 return false;
370 }
371
372 MachineOperand *Operand = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
373 assert(Operand &&
374 Operand->isReg() &&
375 isSameReg(*Operand, *getReplacedOperand()));
376 copyRegOperand(*Operand, *getTargetOperand());
377 MachineOperand *DstSel= TII->getNamedOperand(MI, AMDGPU::OpName::dst_sel);
378 assert(DstSel);
379 DstSel->setImm(getDstSel());
380 MachineOperand *DstUnused= TII->getNamedOperand(MI, AMDGPU::OpName::dst_unused);
381 assert(DstUnused);
382 DstUnused->setImm(getDstUnused());
383
384 // Remove original instruction because it would conflict with our new
385 // instruction by register definition
386 getParentInst()->eraseFromParent();
387 return true;
388}
389
Sam Kolton27e0f8b2017-03-31 11:42:43 +0000390Optional<int64_t> SIPeepholeSDWA::foldToImm(const MachineOperand &Op) const {
391 if (Op.isImm()) {
392 return Op.getImm();
393 }
394
395 // If this is not immediate then it can be copy of immediate value, e.g.:
396 // %vreg1<def> = S_MOV_B32 255;
397 if (Op.isReg()) {
398 for (const MachineOperand &Def : MRI->def_operands(Op.getReg())) {
399 if (!isSameReg(Op, Def))
400 continue;
401
402 const MachineInstr *DefInst = Def.getParent();
Sam Koltonaff83412017-04-12 09:36:05 +0000403 if (!TII->isFoldableCopy(*DefInst))
Sam Kolton27e0f8b2017-03-31 11:42:43 +0000404 return None;
405
406 const MachineOperand &Copied = DefInst->getOperand(1);
407 if (!Copied.isImm())
408 return None;
409
410 return Copied.getImm();
411 }
412 }
413
414 return None;
415}
416
Sam Koltonaff83412017-04-12 09:36:05 +0000417void SIPeepholeSDWA::matchSDWAOperands(MachineFunction &MF) {
418 for (MachineBasicBlock &MBB : MF) {
419 for (MachineInstr &MI : MBB) {
420 unsigned Opcode = MI.getOpcode();
421 switch (Opcode) {
422 case AMDGPU::V_LSHRREV_B32_e32:
423 case AMDGPU::V_ASHRREV_I32_e32:
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000424 case AMDGPU::V_LSHLREV_B32_e32:
425 case AMDGPU::V_LSHRREV_B32_e64:
426 case AMDGPU::V_ASHRREV_I32_e64:
427 case AMDGPU::V_LSHLREV_B32_e64: {
Sam Koltonaff83412017-04-12 09:36:05 +0000428 // from: v_lshrrev_b32_e32 v1, 16/24, v0
429 // to SDWA src:v0 src_sel:WORD_1/BYTE_3
Sam Koltonf60ad582017-03-21 12:51:34 +0000430
Sam Koltonaff83412017-04-12 09:36:05 +0000431 // from: v_ashrrev_i32_e32 v1, 16/24, v0
432 // to SDWA src:v0 src_sel:WORD_1/BYTE_3 sext:1
Sam Koltonf60ad582017-03-21 12:51:34 +0000433
Sam Koltonaff83412017-04-12 09:36:05 +0000434 // from: v_lshlrev_b32_e32 v1, 16/24, v0
435 // to SDWA dst:v1 dst_sel:WORD_1/BYTE_3 dst_unused:UNUSED_PAD
436 MachineOperand *Src0 = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
437 auto Imm = foldToImm(*Src0);
438 if (!Imm)
439 break;
440
441 if (*Imm != 16 && *Imm != 24)
442 break;
443
444 MachineOperand *Src1 = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
445 MachineOperand *Dst = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
446 if (TRI->isPhysicalRegister(Src1->getReg()) ||
447 TRI->isPhysicalRegister(Dst->getReg()))
448 break;
449
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000450 if (Opcode == AMDGPU::V_LSHLREV_B32_e32 ||
451 Opcode == AMDGPU::V_LSHLREV_B32_e64) {
Sam Koltonaff83412017-04-12 09:36:05 +0000452 auto SDWADst = make_unique<SDWADstOperand>(
453 Dst, Src1, *Imm == 16 ? WORD_1 : BYTE_3, UNUSED_PAD);
454 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWADst << '\n');
455 SDWAOperands[&MI] = std::move(SDWADst);
456 ++NumSDWAPatternsFound;
457 } else {
458 auto SDWASrc = make_unique<SDWASrcOperand>(
459 Src1, Dst, *Imm == 16 ? WORD_1 : BYTE_3, false, false,
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000460 Opcode != AMDGPU::V_LSHRREV_B32_e32 &&
461 Opcode != AMDGPU::V_LSHRREV_B32_e64);
Sam Koltonaff83412017-04-12 09:36:05 +0000462 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWASrc << '\n');
463 SDWAOperands[&MI] = std::move(SDWASrc);
464 ++NumSDWAPatternsFound;
465 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000466 break;
Sam Koltonaff83412017-04-12 09:36:05 +0000467 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000468
Sam Koltonaff83412017-04-12 09:36:05 +0000469 case AMDGPU::V_LSHRREV_B16_e32:
470 case AMDGPU::V_ASHRREV_I16_e32:
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000471 case AMDGPU::V_LSHLREV_B16_e32:
472 case AMDGPU::V_LSHRREV_B16_e64:
473 case AMDGPU::V_ASHRREV_I16_e64:
474 case AMDGPU::V_LSHLREV_B16_e64: {
Sam Koltonaff83412017-04-12 09:36:05 +0000475 // from: v_lshrrev_b16_e32 v1, 8, v0
476 // to SDWA src:v0 src_sel:BYTE_1
477
478 // from: v_ashrrev_i16_e32 v1, 8, v0
479 // to SDWA src:v0 src_sel:BYTE_1 sext:1
480
481 // from: v_lshlrev_b16_e32 v1, 8, v0
482 // to SDWA dst:v1 dst_sel:BYTE_1 dst_unused:UNUSED_PAD
483 MachineOperand *Src0 = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
484 auto Imm = foldToImm(*Src0);
485 if (!Imm || *Imm != 8)
486 break;
487
488 MachineOperand *Src1 = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
489 MachineOperand *Dst = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
490
491 if (TRI->isPhysicalRegister(Src1->getReg()) ||
492 TRI->isPhysicalRegister(Dst->getReg()))
493 break;
494
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000495 if (Opcode == AMDGPU::V_LSHLREV_B16_e32 ||
496 Opcode == AMDGPU::V_LSHLREV_B16_e64) {
Sam Koltonaff83412017-04-12 09:36:05 +0000497 auto SDWADst =
Sam Koltonebfdaf72017-05-18 12:12:03 +0000498 make_unique<SDWADstOperand>(Dst, Src1, BYTE_1, UNUSED_PAD);
Sam Koltonaff83412017-04-12 09:36:05 +0000499 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWADst << '\n');
500 SDWAOperands[&MI] = std::move(SDWADst);
501 ++NumSDWAPatternsFound;
502 } else {
503 auto SDWASrc = make_unique<SDWASrcOperand>(
504 Src1, Dst, BYTE_1, false, false,
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000505 Opcode != AMDGPU::V_LSHRREV_B16_e32 &&
506 Opcode != AMDGPU::V_LSHRREV_B16_e64);
Sam Koltonaff83412017-04-12 09:36:05 +0000507 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWASrc << '\n');
508 SDWAOperands[&MI] = std::move(SDWASrc);
509 ++NumSDWAPatternsFound;
510 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000511 break;
Sam Koltonaff83412017-04-12 09:36:05 +0000512 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000513
Sam Koltonaff83412017-04-12 09:36:05 +0000514 case AMDGPU::V_BFE_I32:
515 case AMDGPU::V_BFE_U32: {
516 // e.g.:
517 // from: v_bfe_u32 v1, v0, 8, 8
518 // to SDWA src:v0 src_sel:BYTE_1
Sam Koltonf60ad582017-03-21 12:51:34 +0000519
Sam Koltonaff83412017-04-12 09:36:05 +0000520 // offset | width | src_sel
521 // ------------------------
522 // 0 | 8 | BYTE_0
523 // 0 | 16 | WORD_0
524 // 0 | 32 | DWORD ?
525 // 8 | 8 | BYTE_1
526 // 16 | 8 | BYTE_2
527 // 16 | 16 | WORD_1
528 // 24 | 8 | BYTE_3
529
530 MachineOperand *Src1 = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
531 auto Offset = foldToImm(*Src1);
532 if (!Offset)
533 break;
534
535 MachineOperand *Src2 = TII->getNamedOperand(MI, AMDGPU::OpName::src2);
536 auto Width = foldToImm(*Src2);
537 if (!Width)
538 break;
539
540 SdwaSel SrcSel = DWORD;
541
542 if (*Offset == 0 && *Width == 8)
543 SrcSel = BYTE_0;
544 else if (*Offset == 0 && *Width == 16)
545 SrcSel = WORD_0;
546 else if (*Offset == 0 && *Width == 32)
547 SrcSel = DWORD;
548 else if (*Offset == 8 && *Width == 8)
549 SrcSel = BYTE_1;
550 else if (*Offset == 16 && *Width == 8)
551 SrcSel = BYTE_2;
552 else if (*Offset == 16 && *Width == 16)
553 SrcSel = WORD_1;
554 else if (*Offset == 24 && *Width == 8)
555 SrcSel = BYTE_3;
556 else
557 break;
558
559 MachineOperand *Src0 = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
560 MachineOperand *Dst = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
561
562 if (TRI->isPhysicalRegister(Src0->getReg()) ||
563 TRI->isPhysicalRegister(Dst->getReg()))
564 break;
565
Sam Koltonf60ad582017-03-21 12:51:34 +0000566 auto SDWASrc = make_unique<SDWASrcOperand>(
Sam Koltonaff83412017-04-12 09:36:05 +0000567 Src0, Dst, SrcSel, false, false,
568 Opcode == AMDGPU::V_BFE_U32 ? false : true);
Sam Koltonf60ad582017-03-21 12:51:34 +0000569 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWASrc << '\n');
570 SDWAOperands[&MI] = std::move(SDWASrc);
571 ++NumSDWAPatternsFound;
Sam Koltonaff83412017-04-12 09:36:05 +0000572 break;
Sam Koltonf60ad582017-03-21 12:51:34 +0000573 }
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000574 case AMDGPU::V_AND_B32_e32:
575 case AMDGPU::V_AND_B32_e64: {
Sam Koltonaff83412017-04-12 09:36:05 +0000576 // e.g.:
577 // from: v_and_b32_e32 v1, 0x0000ffff/0x000000ff, v0
578 // to SDWA src:v0 src_sel:WORD_0/BYTE_0
Sam Koltonf60ad582017-03-21 12:51:34 +0000579
Sam Koltonaff83412017-04-12 09:36:05 +0000580 MachineOperand *Src0 = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
Sam Koltonaff83412017-04-12 09:36:05 +0000581 MachineOperand *Src1 = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000582 auto ValSrc = Src1;
583 auto Imm = foldToImm(*Src0);
584
585 if (!Imm) {
586 Imm = foldToImm(*Src1);
587 ValSrc = Src0;
588 }
589
590 if (!Imm || (*Imm != 0x0000ffff && *Imm != 0x000000ff))
591 break;
592
Sam Koltonaff83412017-04-12 09:36:05 +0000593 MachineOperand *Dst = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
594
595 if (TRI->isPhysicalRegister(Src1->getReg()) ||
596 TRI->isPhysicalRegister(Dst->getReg()))
597 break;
Sam Koltonf60ad582017-03-21 12:51:34 +0000598
Sam Koltonf60ad582017-03-21 12:51:34 +0000599 auto SDWASrc = make_unique<SDWASrcOperand>(
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000600 ValSrc, Dst, *Imm == 0x0000ffff ? WORD_0 : BYTE_0);
Sam Koltonf60ad582017-03-21 12:51:34 +0000601 DEBUG(dbgs() << "Match: " << MI << "To: " << *SDWASrc << '\n');
602 SDWAOperands[&MI] = std::move(SDWASrc);
603 ++NumSDWAPatternsFound;
Sam Koltonaff83412017-04-12 09:36:05 +0000604 break;
Sam Koltonf60ad582017-03-21 12:51:34 +0000605 }
Sam Koltonaff83412017-04-12 09:36:05 +0000606 }
Sam Koltonf60ad582017-03-21 12:51:34 +0000607 }
608 }
609}
610
Sam Koltonebfdaf72017-05-18 12:12:03 +0000611bool SIPeepholeSDWA::isConvertibleToSDWA(const MachineInstr &MI) const {
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +0000612 // Check if this instruction has opcode that supports SDWA
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000613 unsigned Opc = MI.getOpcode();
614 if (AMDGPU::getSDWAOp(Opc) != -1)
615 return true;
616 int Opc32 = AMDGPU::getVOPe32(Opc);
617 if (Opc32 != -1 && AMDGPU::getSDWAOp(Opc32) != -1)
618 return !TII->hasModifiersSet(MI, AMDGPU::OpName::omod) &&
619 !TII->getNamedOperand(MI, AMDGPU::OpName::sdst);
620 return false;
Sam Koltonebfdaf72017-05-18 12:12:03 +0000621}
622
623bool SIPeepholeSDWA::convertToSDWA(MachineInstr &MI,
624 const SDWAOperandsVector &SDWAOperands) {
Sam Koltonf60ad582017-03-21 12:51:34 +0000625 // Convert to sdwa
626 int SDWAOpcode = AMDGPU::getSDWAOp(MI.getOpcode());
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000627 if (SDWAOpcode == -1)
628 SDWAOpcode = AMDGPU::getSDWAOp(AMDGPU::getVOPe32(MI.getOpcode()));
Sam Koltonf60ad582017-03-21 12:51:34 +0000629 assert(SDWAOpcode != -1);
630
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000631 // Copy dst, if it is present in original then should also be present in SDWA
632 MachineOperand *Dst = TII->getNamedOperand(MI, AMDGPU::OpName::vdst);
633 if (!Dst && !TII->isVOPC(MI))
634 return false;
635
Sam Koltonf60ad582017-03-21 12:51:34 +0000636 const MCInstrDesc &SDWADesc = TII->get(SDWAOpcode);
637
638 // Create SDWA version of instruction MI and initialize its operands
639 MachineInstrBuilder SDWAInst =
640 BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), SDWADesc);
641
Sam Koltonf60ad582017-03-21 12:51:34 +0000642 if (Dst) {
643 assert(AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::vdst) != -1);
644 SDWAInst.add(*Dst);
Sam Koltonf60ad582017-03-21 12:51:34 +0000645 }
646
647 // Copy src0, initialize src0_modifiers. All sdwa instructions has src0 and
648 // src0_modifiers (except for v_nop_sdwa, but it can't get here)
649 MachineOperand *Src0 = TII->getNamedOperand(MI, AMDGPU::OpName::src0);
650 assert(
651 Src0 &&
652 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src0) != -1 &&
653 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src0_modifiers) != -1);
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000654 if (auto *Mod = TII->getNamedOperand(MI, AMDGPU::OpName::src0_modifiers))
655 SDWAInst.addImm(Mod->getImm());
656 else
657 SDWAInst.addImm(0);
Sam Koltonf60ad582017-03-21 12:51:34 +0000658 SDWAInst.add(*Src0);
659
660 // Copy src1 if present, initialize src1_modifiers.
661 MachineOperand *Src1 = TII->getNamedOperand(MI, AMDGPU::OpName::src1);
662 if (Src1) {
663 assert(
664 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src1) != -1 &&
665 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src1_modifiers) != -1);
Stanislav Mekhanoshin03306602017-06-03 17:39:47 +0000666 if (auto *Mod = TII->getNamedOperand(MI, AMDGPU::OpName::src1_modifiers))
667 SDWAInst.addImm(Mod->getImm());
668 else
669 SDWAInst.addImm(0);
Sam Koltonf60ad582017-03-21 12:51:34 +0000670 SDWAInst.add(*Src1);
Sam Koltonf60ad582017-03-21 12:51:34 +0000671 }
672
673 if (SDWAOpcode == AMDGPU::V_MAC_F16_sdwa ||
674 SDWAOpcode == AMDGPU::V_MAC_F32_sdwa) {
675 // v_mac_f16/32 has additional src2 operand tied to vdst
676 MachineOperand *Src2 = TII->getNamedOperand(MI, AMDGPU::OpName::src2);
677 assert(Src2);
678 SDWAInst.add(*Src2);
679 }
680
681 // Initialize clamp.
682 assert(AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::clamp) != -1);
683 SDWAInst.addImm(0);
684
685 // Initialize dst_sel and dst_unused if present
686 if (Dst) {
687 assert(
688 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::dst_sel) != -1 &&
689 AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::dst_unused) != -1);
690 SDWAInst.addImm(AMDGPU::SDWA::SdwaSel::DWORD);
691 SDWAInst.addImm(AMDGPU::SDWA::DstUnused::UNUSED_PAD);
692 }
693
694 // Initialize src0_sel
695 assert(AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src0_sel) != -1);
696 SDWAInst.addImm(AMDGPU::SDWA::SdwaSel::DWORD);
697
698
699 // Initialize src1_sel if present
700 if (Src1) {
701 assert(AMDGPU::getNamedOperandIdx(SDWAOpcode, AMDGPU::OpName::src1_sel) != -1);
702 SDWAInst.addImm(AMDGPU::SDWA::SdwaSel::DWORD);
703 }
704
705 // Apply all sdwa operand pattenrs
706 bool Converted = false;
707 for (auto &Operand : SDWAOperands) {
Sam Koltonebfdaf72017-05-18 12:12:03 +0000708 // There should be no intesection between SDWA operands and potential MIs
709 // e.g.:
710 // v_and_b32 v0, 0xff, v1 -> src:v1 sel:BYTE_0
711 // v_and_b32 v2, 0xff, v0 -> src:v0 sel:BYTE_0
712 // v_add_u32 v3, v4, v2
713 //
714 // In that example it is possible that we would fold 2nd instruction into 3rd
715 // (v_add_u32_sdwa) and then try to fold 1st instruction into 2nd (that was
716 // already destroyed). So if SDWAOperand is also a potential MI then do not
717 // apply it.
718 if (PotentialMatches.count(Operand->getParentInst()) == 0)
719 Converted |= Operand->convertToSDWA(*SDWAInst, TII);
Sam Koltonf60ad582017-03-21 12:51:34 +0000720 }
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +0000721 if (Converted) {
722 ConvertedInstructions.push_back(SDWAInst);
723 } else {
Sam Koltonf60ad582017-03-21 12:51:34 +0000724 SDWAInst->eraseFromParent();
725 return false;
726 }
727
728 DEBUG(dbgs() << "Convert instruction:" << MI
729 << "Into:" << *SDWAInst << '\n');
730 ++NumSDWAInstructionsPeepholed;
731
732 MI.eraseFromParent();
733 return true;
734}
735
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +0000736// If an instruction was converted to SDWA it should not have immediates or SGPR
737// operands. Copy its scalar operands into VGPRs.
738void SIPeepholeSDWA::legalizeScalarOperands(MachineInstr &MI) const {
739 const MCInstrDesc &Desc = TII->get(MI.getOpcode());
740 for (unsigned I = 0, E = MI.getNumExplicitOperands(); I != E; ++I) {
741 MachineOperand &Op = MI.getOperand(I);
742 if (!Op.isImm() && !(Op.isReg() && !TRI->isVGPR(*MRI, Op.getReg())))
743 continue;
744 if (Desc.OpInfo[I].RegClass == -1 ||
745 !TRI->hasVGPRs(TRI->getRegClass(Desc.OpInfo[I].RegClass)))
746 continue;
747 unsigned VGPR = MRI->createVirtualRegister(&AMDGPU::VGPR_32RegClass);
748 auto Copy = BuildMI(*MI.getParent(), MI.getIterator(), MI.getDebugLoc(),
749 TII->get(AMDGPU::V_MOV_B32_e32), VGPR);
750 if (Op.isImm())
751 Copy.addImm(Op.getImm());
752 else if (Op.isReg())
753 Copy.addReg(Op.getReg(), Op.isKill() ? RegState::Kill : 0,
754 Op.getSubReg());
755 Op.ChangeToRegister(VGPR, false);
756 }
757}
758
Sam Koltonf60ad582017-03-21 12:51:34 +0000759bool SIPeepholeSDWA::runOnMachineFunction(MachineFunction &MF) {
760 const SISubtarget &ST = MF.getSubtarget<SISubtarget>();
761
762 if (!ST.hasSDWA() ||
763 !AMDGPU::isVI(ST)) { // TODO: Add support for SDWA on gfx9
764 return false;
765 }
766
767 MRI = &MF.getRegInfo();
768 TRI = ST.getRegisterInfo();
769 TII = ST.getInstrInfo();
Sam Koltonebfdaf72017-05-18 12:12:03 +0000770
771 // Find all SDWA operands in MF.
Sam Koltonaff83412017-04-12 09:36:05 +0000772 matchSDWAOperands(MF);
Sam Koltonf60ad582017-03-21 12:51:34 +0000773
Sam Koltonebfdaf72017-05-18 12:12:03 +0000774 for (const auto &OperandPair : SDWAOperands) {
775 const auto &Operand = OperandPair.second;
Sam Koltonaff83412017-04-12 09:36:05 +0000776 MachineInstr *PotentialMI = Operand->potentialToConvert(TII);
Sam Koltonebfdaf72017-05-18 12:12:03 +0000777 if (PotentialMI && isConvertibleToSDWA(*PotentialMI)) {
778 PotentialMatches[PotentialMI].push_back(Operand.get());
Sam Koltonf60ad582017-03-21 12:51:34 +0000779 }
780 }
Sam Koltonaff83412017-04-12 09:36:05 +0000781
782 for (auto &PotentialPair : PotentialMatches) {
783 MachineInstr &PotentialMI = *PotentialPair.first;
784 convertToSDWA(PotentialMI, PotentialPair.second);
785 }
786
Sam Koltonebfdaf72017-05-18 12:12:03 +0000787 PotentialMatches.clear();
Sam Koltonaff83412017-04-12 09:36:05 +0000788 SDWAOperands.clear();
Stanislav Mekhanoshin56ea4882017-05-30 16:49:24 +0000789
790 while (!ConvertedInstructions.empty())
791 legalizeScalarOperands(*ConvertedInstructions.pop_back_val());
792
Sam Koltonf60ad582017-03-21 12:51:34 +0000793 return false;
794}