LLVM 24.0.0git
SILowerWWMCopies.cpp
Go to the documentation of this file.
1//===-- SILowerWWMCopies.cpp - Lower Copies after regalloc ---===//
2//
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
6//
7//===----------------------------------------------------------------------===//
8//
9/// \file
10/// Lowering the WWM_COPY instructions for various register classes.
11/// AMDGPU target generates WWM_COPY instruction to differentiate WWM
12/// copy from COPY. This pass generates the necessary exec mask manipulation
13/// instructions to replicate 'Whole Wave Mode' and lowers WWM_COPY back to
14/// COPY.
15//
16//===----------------------------------------------------------------------===//
17
18#include "SILowerWWMCopies.h"
19#include "AMDGPU.h"
20#include "GCNSubtarget.h"
26
27using namespace llvm;
28
29#define DEBUG_TYPE "si-lower-wwm-copies"
30
31namespace {
32
33class SILowerWWMCopies {
34public:
35 SILowerWWMCopies(LiveIntervals *LIS, SlotIndexes *SI, VirtRegMap *VRM)
36 : LIS(LIS), Indexes(SI), VRM(VRM) {}
37 bool run(MachineFunction &MF);
38
39private:
40 bool isSCCLiveAtMI(const MachineInstr &MI);
41 void addToWWMSpills(MachineFunction &MF, Register Reg);
42
43 LiveIntervals *LIS;
44 SlotIndexes *Indexes;
45 VirtRegMap *VRM;
46 const SIRegisterInfo *TRI;
47 const MachineRegisterInfo *MRI;
49};
50
51class SILowerWWMCopiesLegacy : public MachineFunctionPass {
52public:
53 static char ID;
54
55 SILowerWWMCopiesLegacy() : MachineFunctionPass(ID) {}
56
57 bool runOnMachineFunction(MachineFunction &MF) override;
58
59 StringRef getPassName() const override { return "SI Lower WWM Copies"; }
60
61 void getAnalysisUsage(AnalysisUsage &AU) const override {
65 AU.setPreservesAll();
67 }
68};
69
70} // End anonymous namespace.
71
72INITIALIZE_PASS_BEGIN(SILowerWWMCopiesLegacy, DEBUG_TYPE, "SI Lower WWM Copies",
73 false, false)
76INITIALIZE_PASS_END(SILowerWWMCopiesLegacy, DEBUG_TYPE, "SI Lower WWM Copies",
78
79char SILowerWWMCopiesLegacy::ID = 0;
80
81char &llvm::SILowerWWMCopiesLegacyID = SILowerWWMCopiesLegacy::ID;
82
83bool SILowerWWMCopies::isSCCLiveAtMI(const MachineInstr &MI) {
84 // We can't determine the liveness info if LIS isn't available. Early return
85 // in that case and always assume SCC is live.
86 if (!LIS)
87 return true;
88
89 LiveRange &LR =
90 LIS->getRegUnit(*MCRegUnitIterator(MCRegister::from(AMDGPU::SCC), TRI));
91 SlotIndex Idx = LIS->getInstructionIndex(MI);
92 return LR.liveAt(Idx);
93}
94
95// If \p Reg is assigned with a physical VGPR, add the latter into wwm-spills
96// for preserving its entire lanes at function prolog/epilog.
97void SILowerWWMCopies::addToWWMSpills(MachineFunction &MF, Register Reg) {
98 if (Reg.isPhysical())
99 return;
100
101 // FIXME: VRM may be null here.
102 MCRegister PhysReg = VRM->getPhys(Reg);
103 assert(PhysReg && "should have allocated a physical register");
104
105 MFI->allocateWWMSpill(MF, PhysReg);
106}
107
108bool SILowerWWMCopiesLegacy::runOnMachineFunction(MachineFunction &MF) {
109 auto *LISWrapper = getAnalysisIfAvailable<LiveIntervalsWrapperPass>();
110 auto *LIS = LISWrapper ? &LISWrapper->getLIS() : nullptr;
111
112 auto *SIWrapper = getAnalysisIfAvailable<SlotIndexesWrapperPass>();
113 auto *Indexes = SIWrapper ? &SIWrapper->getSI() : nullptr;
114
115 auto *VRMWrapper = getAnalysisIfAvailable<VirtRegMapWrapperLegacy>();
116 auto *VRM = VRMWrapper ? &VRMWrapper->getVRM() : nullptr;
117
118 SILowerWWMCopies Impl(LIS, Indexes, VRM);
119 return Impl.run(MF);
120}
121
122PreservedAnalyses
125 auto *LIS = MFAM.getCachedResult<LiveIntervalsAnalysis>(MF);
126 auto *Indexes = MFAM.getCachedResult<SlotIndexesAnalysis>(MF);
127 auto *VRM = MFAM.getCachedResult<VirtRegMapAnalysis>(MF);
128
129 SILowerWWMCopies Impl(LIS, Indexes, VRM);
130 Impl.run(MF);
131 return PreservedAnalyses::all();
132}
133
134bool SILowerWWMCopies::run(MachineFunction &MF) {
135 const GCNSubtarget &ST = MF.getSubtarget<GCNSubtarget>();
136 const SIInstrInfo *TII = ST.getInstrInfo();
137
138 MFI = MF.getInfo<SIMachineFunctionInfo>();
139 TRI = ST.getRegisterInfo();
140 MRI = &MF.getRegInfo();
141
142 if (!MFI->hasVRegFlags())
143 return false;
144
145 bool Changed = false;
146 for (MachineBasicBlock &MBB : MF) {
147 for (MachineInstr &MI : MBB) {
148 if (MI.getOpcode() != AMDGPU::WWM_COPY)
149 continue;
150
151 // TODO: Club adjacent WWM ops between same exec save/restore
152 assert(TII->isVGPRCopy(MI));
153
154 // For WWM vector copies, manipulate the exec mask around the copy
155 // instruction.
156 const DebugLoc &DL = MI.getDebugLoc();
157 MachineBasicBlock::iterator InsertPt = MI.getIterator();
158 Register RegForExecCopy = MFI->getSGPRForEXECCopy();
159 TII->insertScratchExecCopy(MF, MBB, InsertPt, DL, RegForExecCopy,
160 isSCCLiveAtMI(MI), Indexes);
161 TII->restoreExec(MF, MBB, ++InsertPt, DL, RegForExecCopy, Indexes);
162 addToWWMSpills(MF, MI.getOperand(0).getReg());
163 LLVM_DEBUG(dbgs() << "WWM copy manipulation for " << MI);
164
165 // Lower WWM_COPY back to COPY
166 MI.setDesc(TII->get(AMDGPU::COPY));
167 Changed |= true;
168 }
169 }
170
171 return Changed;
172}
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
aarch64 promote const
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
AMD GCN specific subclass of TargetSubtarget.
#define DEBUG_TYPE
const HexagonInstrInfo * TII
IRTranslator LLVM IR MI
Register Reg
Register const TargetRegisterInfo * TRI
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition PassSupport.h:42
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition PassSupport.h:44
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition PassSupport.h:39
#define LLVM_DEBUG(...)
Definition Debug.h:119
PassT::Result * getCachedResult(IRUnitT &IR) const
Get the cached result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addUsedIfAvailable()
Add the specified Pass class to the set of analyses used by this pass.
void setPreservesAll()
Set by analyses that do not transform their input at all.
A debug info location.
Definition DebugLoc.h:126
This class represents the liveness of a register, stack slot, etc.
bool liveAt(SlotIndex index) const
Wrapper class representing physical registers. Should be passed by value.
Definition MCRegister.h:41
static MCRegister from(unsigned Val)
Check the provided unsigned value is a valid MCRegister.
Definition MCRegister.h:77
MachineInstrBundleIterator< MachineInstr > iterator
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
Representation of each machine instruction.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Definition Analysis.h:118
Wrapper class representing virtual and physical registers.
Definition Register.h:20
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
This class keeps track of the SPI_SP_INPUT_ADDR config register, which tells the hardware which inter...
void allocateWWMSpill(MachineFunction &MF, Register VGPR, uint64_t Size=4, Align Alignment=Align(4))
SlotIndex - An opaque wrapper around machine indexes.
Definition SlotIndexes.h:66
SlotIndexes pass.
Represent a constant reference to a string, i.e.
Definition StringRef.h:56
MCRegister getPhys(Register virtReg) const
returns the physical register mapped to the specified virtual register
Definition VirtRegMap.h:91
Changed
This is an optimization pass for GlobalISel generic memory operations.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:209
char & SILowerWWMCopiesLegacyID