29#define DEBUG_TYPE "si-pre-allocate-wwm-regs"
42class SIPreAllocateWWMRegs {
52 std::vector<unsigned> RegsToRewrite;
70 SIPreAllocateWWMRegsLegacy() : MachineFunctionPass(ID) {}
74 void getAnalysisUsage(AnalysisUsage &AU)
const override {
78 AU.
addRequired<MachineRegisterClassInfoWrapperPass>();
87 "SI Pre-allocate WWM Registers",
false,
false)
95char SIPreAllocateWWMRegsLegacy::ID = 0;
100 return new SIPreAllocateWWMRegsLegacy();
105 if (
Reg.isPhysical())
119 Matrix->assign(LI, PhysReg);
121 RegsToRewrite.push_back(
Reg);
130 for (MachineBasicBlock &
MBB : MF) {
131 for (MachineInstr &
MI :
MBB) {
132 for (MachineOperand &MO :
MI.operands()) {
149 PhysReg =
TRI->getSubReg(PhysReg, SubReg);
159 SIMachineFunctionInfo *MFI = MF.getInfo<SIMachineFunctionInfo>();
161 for (
unsigned Reg : RegsToRewrite) {
166 Matrix->unassign(LI,
true);
172 RegsToRewrite.clear();
182SIPreAllocateWWMRegs::printWWMInfo(
const MachineInstr &
MI) {
184 unsigned Opc =
MI.getOpcode();
186 if (
Opc == AMDGPU::ENTER_STRICT_WWM ||
Opc == AMDGPU::ENTER_STRICT_WQM) {
187 dbgs() <<
"Entering ";
189 assert(
Opc == AMDGPU::EXIT_STRICT_WWM ||
Opc == AMDGPU::EXIT_STRICT_WQM);
190 dbgs() <<
"Exiting ";
193 if (
Opc == AMDGPU::ENTER_STRICT_WWM ||
Opc == AMDGPU::EXIT_STRICT_WWM) {
194 dbgs() <<
"Strict WWM ";
196 assert(
Opc == AMDGPU::ENTER_STRICT_WQM ||
Opc == AMDGPU::EXIT_STRICT_WQM);
197 dbgs() <<
"Strict WQM ";
200 dbgs() <<
"region: " <<
MI;
205bool SIPreAllocateWWMRegsLegacy::runOnMachineFunction(
MachineFunction &MF) {
206 auto *LIS = &getAnalysis<LiveIntervalsWrapperPass>().getLIS();
207 auto *
Matrix = &getAnalysis<LiveRegMatrixWrapperLegacy>().getLRM();
208 auto *VRM = &getAnalysis<VirtRegMapWrapperLegacy>().getVRM();
209 auto &RCI = getAnalysis<MachineRegisterClassInfoWrapperPass>().getRCI();
210 return SIPreAllocateWWMRegs(LIS,
Matrix, VRM, RCI).run(MF);
218 TII =
ST.getInstrInfo();
224 bool RegsAssigned =
false;
231 ReversePostOrderTraversal<MachineFunction*> RPOT(&MF);
233 for (MachineBasicBlock *
MBB : RPOT) {
235 for (MachineInstr &
MI : *
MBB) {
236 if (
MI.getOpcode() == AMDGPU::SI_SPILL_S32_TO_VGPR) {
237 if (PreallocateSGPRSpillVGPRs)
238 RegsAssigned |= processDef(
MI.getOperand(0));
242 if (
MI.getOpcode() == AMDGPU::ENTER_STRICT_WWM ||
243 MI.getOpcode() == AMDGPU::ENTER_STRICT_WQM) {
249 if (
MI.getOpcode() == AMDGPU::EXIT_STRICT_WWM ||
250 MI.getOpcode() == AMDGPU::EXIT_STRICT_WQM) {
260 for (MachineOperand &DefOpnd :
MI.defs()) {
261 RegsAssigned |= processDef(DefOpnd);
280 SIPreAllocateWWMRegs(LIS,
Matrix, VRM, RCI).
run(MF);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
AMD GCN specific subclass of TargetSubtarget.
const HexagonInstrInfo * TII
Register const TargetRegisterInfo * TRI
Promote Memory to Register
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
This file builds on the ADT/GraphTraits.h file to build a generic graph post order iterator.
static cl::opt< bool > EnablePreallocateSGPRSpillVGPRs("amdgpu-prealloc-sgpr-spill-vgprs", cl::init(false), cl::Hidden)
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
FunctionPass class - This class is used to implement most global optimizations.
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
const HexagonRegisterInfo & getRegisterInfo() const
LiveInterval - This class represents the liveness of a register, or stack slot.
LiveInterval & getInterval(Register Reg)
void removeInterval(Register Reg)
Interval removal.
@ IK_Free
No interference, go ahead and assign.
Wrapper class representing physical registers. Should be passed by value.
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.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Function & getFunction()
Return the LLVM function that this machine code represents.
Representation of each machine instruction.
MachineOperand class - Representation of each machine instruction operand.
void setSubReg(unsigned subReg)
unsigned getSubReg() const
LLVM_ABI void setIsRenamable(bool Val=true)
bool isReg() const
isReg - Tests if this is a MO_Register operand.
LLVM_ABI void setReg(Register Reg)
Change the register this operand corresponds to.
Register getReg() const
getReg - Returns the register number.
Result run(MachineFunction &, MachineFunctionAnalysisManager &)
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
LLVM_ABI void freezeReservedRegs()
freezeReservedRegs - Called by the register allocator to freeze the set of reserved registers before ...
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
const BitVector & getReservedRegs() const
getReservedRegs - Returns a reference to the frozen set of reserved registers.
LLVM_ABI bool isPhysRegUsed(MCRegister PhysReg, bool SkipRegMaskTest=false) const
Return true if the specified register is modified or read in this function.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
LLVM_ABI void updateReservedRegs(const BitVector &ReservedInput)
Update cached register class information using ReservedInput, MRI's current reserved-register set.
ArrayRef< MCPhysReg > getOrder(const TargetRegisterClass *RC) const
getOrder - Returns the preferred allocation order for RC.
Wrapper class representing virtual and physical registers.
constexpr bool isValid() const
constexpr bool isPhysical() const
Return true if the specified register number is in the physical register namespace.
void reserveWWMRegister(Register Reg)
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
static bool hasVGPRs(const TargetRegisterClass *RC)
MCRegister getPhys(Register virtReg) const
returns the physical register mapped to the specified virtual register
bool hasPhys(Register virtReg) const
returns true if the specified virtual register is mapped to a physical register
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
initializer< Ty > init(const Ty &Val)
PointerTypeMap run(const Module &M)
Compute the PointerTypeMap for the module M.
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.
FunctionPass * createSIPreAllocateWWMRegsLegacyPass()
char & SIPreAllocateWWMRegsLegacyID
bool isPreallocateSGPRSpillVGPRsEnabled(const MachineFunction &MF)