1*0b57cec5SDimitry Andric //=--- RegUsageInfoPropagate.cpp - Register Usage Informartion Propagation --=//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric ///
9*0b57cec5SDimitry Andric /// This pass is required to take advantage of the interprocedural register
10*0b57cec5SDimitry Andric /// allocation infrastructure.
11*0b57cec5SDimitry Andric ///
12*0b57cec5SDimitry Andric /// This pass iterates through MachineInstrs in a given MachineFunction and at
13*0b57cec5SDimitry Andric /// each callsite queries RegisterUsageInfo for RegMask (calculated based on
14*0b57cec5SDimitry Andric /// actual register allocation) of the callee function, if the RegMask detail
15*0b57cec5SDimitry Andric /// is available then this pass will update the RegMask of the call instruction.
16*0b57cec5SDimitry Andric /// This updated RegMask will be used by the register allocator while allocating
17*0b57cec5SDimitry Andric /// the current MachineFunction.
18*0b57cec5SDimitry Andric ///
19*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
20*0b57cec5SDimitry Andric 
21*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
22*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
23*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
24*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
25*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
26*0b57cec5SDimitry Andric #include "llvm/CodeGen/Passes.h"
27*0b57cec5SDimitry Andric #include "llvm/CodeGen/RegisterUsageInfo.h"
28*0b57cec5SDimitry Andric #include "llvm/IR/Module.h"
295ffd83dbSDimitry Andric #include "llvm/Pass.h"
30*0b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
31*0b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
32*0b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
33*0b57cec5SDimitry Andric 
34*0b57cec5SDimitry Andric using namespace llvm;
35*0b57cec5SDimitry Andric 
36*0b57cec5SDimitry Andric #define DEBUG_TYPE "ip-regalloc"
37*0b57cec5SDimitry Andric 
38*0b57cec5SDimitry Andric #define RUIP_NAME "Register Usage Information Propagation"
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric namespace {
41*0b57cec5SDimitry Andric 
42*0b57cec5SDimitry Andric class RegUsageInfoPropagation : public MachineFunctionPass {
43*0b57cec5SDimitry Andric public:
RegUsageInfoPropagation()44*0b57cec5SDimitry Andric   RegUsageInfoPropagation() : MachineFunctionPass(ID) {
45*0b57cec5SDimitry Andric     PassRegistry &Registry = *PassRegistry::getPassRegistry();
46*0b57cec5SDimitry Andric     initializeRegUsageInfoPropagationPass(Registry);
47*0b57cec5SDimitry Andric   }
48*0b57cec5SDimitry Andric 
getPassName() const49*0b57cec5SDimitry Andric   StringRef getPassName() const override { return RUIP_NAME; }
50*0b57cec5SDimitry Andric 
51*0b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override;
52*0b57cec5SDimitry Andric 
getAnalysisUsage(AnalysisUsage & AU) const53*0b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
54*0b57cec5SDimitry Andric     AU.addRequired<PhysicalRegisterUsageInfo>();
55*0b57cec5SDimitry Andric     AU.setPreservesAll();
56*0b57cec5SDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
57*0b57cec5SDimitry Andric   }
58*0b57cec5SDimitry Andric 
59*0b57cec5SDimitry Andric   static char ID;
60*0b57cec5SDimitry Andric 
61*0b57cec5SDimitry Andric private:
setRegMask(MachineInstr & MI,ArrayRef<uint32_t> RegMask)62*0b57cec5SDimitry Andric   static void setRegMask(MachineInstr &MI, ArrayRef<uint32_t> RegMask) {
63*0b57cec5SDimitry Andric     assert(RegMask.size() ==
64*0b57cec5SDimitry Andric            MachineOperand::getRegMaskSize(MI.getParent()->getParent()
65*0b57cec5SDimitry Andric                                           ->getRegInfo().getTargetRegisterInfo()
66*0b57cec5SDimitry Andric                                           ->getNumRegs())
67*0b57cec5SDimitry Andric            && "expected register mask size");
68*0b57cec5SDimitry Andric     for (MachineOperand &MO : MI.operands()) {
69*0b57cec5SDimitry Andric       if (MO.isRegMask())
70*0b57cec5SDimitry Andric         MO.setRegMask(RegMask.data());
71*0b57cec5SDimitry Andric     }
72*0b57cec5SDimitry Andric   }
73*0b57cec5SDimitry Andric };
74*0b57cec5SDimitry Andric 
75*0b57cec5SDimitry Andric } // end of anonymous namespace
76*0b57cec5SDimitry Andric 
77*0b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(RegUsageInfoPropagation, "reg-usage-propagation",
78*0b57cec5SDimitry Andric                       RUIP_NAME, false, false)
79*0b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo)
80*0b57cec5SDimitry Andric INITIALIZE_PASS_END(RegUsageInfoPropagation, "reg-usage-propagation",
81*0b57cec5SDimitry Andric                     RUIP_NAME, false, false)
82*0b57cec5SDimitry Andric 
83*0b57cec5SDimitry Andric char RegUsageInfoPropagation::ID = 0;
84*0b57cec5SDimitry Andric 
85*0b57cec5SDimitry Andric // Assumes call instructions have a single reference to a function.
findCalledFunction(const Module & M,const MachineInstr & MI)86*0b57cec5SDimitry Andric static const Function *findCalledFunction(const Module &M,
87*0b57cec5SDimitry Andric                                           const MachineInstr &MI) {
88*0b57cec5SDimitry Andric   for (const MachineOperand &MO : MI.operands()) {
89*0b57cec5SDimitry Andric     if (MO.isGlobal())
90*0b57cec5SDimitry Andric       return dyn_cast<const Function>(MO.getGlobal());
91*0b57cec5SDimitry Andric 
92*0b57cec5SDimitry Andric     if (MO.isSymbol())
93*0b57cec5SDimitry Andric       return M.getFunction(MO.getSymbolName());
94*0b57cec5SDimitry Andric   }
95*0b57cec5SDimitry Andric 
96*0b57cec5SDimitry Andric   return nullptr;
97*0b57cec5SDimitry Andric }
98*0b57cec5SDimitry Andric 
runOnMachineFunction(MachineFunction & MF)99*0b57cec5SDimitry Andric bool RegUsageInfoPropagation::runOnMachineFunction(MachineFunction &MF) {
100*0b57cec5SDimitry Andric   const Module &M = *MF.getFunction().getParent();
101*0b57cec5SDimitry Andric   PhysicalRegisterUsageInfo *PRUI = &getAnalysis<PhysicalRegisterUsageInfo>();
102*0b57cec5SDimitry Andric 
103*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << " ++++++++++++++++++++ " << getPassName()
104*0b57cec5SDimitry Andric                     << " ++++++++++++++++++++  \n");
105*0b57cec5SDimitry Andric   LLVM_DEBUG(dbgs() << "MachineFunction : " << MF.getName() << "\n");
106*0b57cec5SDimitry Andric 
107*0b57cec5SDimitry Andric   const MachineFrameInfo &MFI = MF.getFrameInfo();
108*0b57cec5SDimitry Andric   if (!MFI.hasCalls() && !MFI.hasTailCall())
109*0b57cec5SDimitry Andric     return false;
110*0b57cec5SDimitry Andric 
111*0b57cec5SDimitry Andric   bool Changed = false;
112*0b57cec5SDimitry Andric 
113*0b57cec5SDimitry Andric   for (MachineBasicBlock &MBB : MF) {
114*0b57cec5SDimitry Andric     for (MachineInstr &MI : MBB) {
115*0b57cec5SDimitry Andric       if (!MI.isCall())
116*0b57cec5SDimitry Andric         continue;
117*0b57cec5SDimitry Andric       LLVM_DEBUG(
118*0b57cec5SDimitry Andric           dbgs()
1195ffd83dbSDimitry Andric           << "Call Instruction Before Register Usage Info Propagation : \n"
1205ffd83dbSDimitry Andric           << MI << "\n");
121*0b57cec5SDimitry Andric 
122*0b57cec5SDimitry Andric       auto UpdateRegMask = [&](const Function &F) {
123*0b57cec5SDimitry Andric         const ArrayRef<uint32_t> RegMask = PRUI->getRegUsageInfo(F);
124*0b57cec5SDimitry Andric         if (RegMask.empty())
125*0b57cec5SDimitry Andric           return;
126*0b57cec5SDimitry Andric         setRegMask(MI, RegMask);
127*0b57cec5SDimitry Andric         Changed = true;
128*0b57cec5SDimitry Andric       };
129*0b57cec5SDimitry Andric 
130*0b57cec5SDimitry Andric       if (const Function *F = findCalledFunction(M, MI)) {
1318bcb0991SDimitry Andric         if (F->isDefinitionExact()) {
132*0b57cec5SDimitry Andric           UpdateRegMask(*F);
133*0b57cec5SDimitry Andric         } else {
1348bcb0991SDimitry Andric           LLVM_DEBUG(dbgs() << "Function definition is not exact\n");
1358bcb0991SDimitry Andric         }
1368bcb0991SDimitry Andric       } else {
137*0b57cec5SDimitry Andric         LLVM_DEBUG(dbgs() << "Failed to find call target function\n");
138*0b57cec5SDimitry Andric       }
139*0b57cec5SDimitry Andric 
140*0b57cec5SDimitry Andric       LLVM_DEBUG(
1415ffd83dbSDimitry Andric           dbgs()
1425ffd83dbSDimitry Andric           << "Call Instruction After Register Usage Info Propagation : \n"
143*0b57cec5SDimitry Andric           << MI << '\n');
144*0b57cec5SDimitry Andric     }
145*0b57cec5SDimitry Andric   }
146*0b57cec5SDimitry Andric 
147*0b57cec5SDimitry Andric   LLVM_DEBUG(
148*0b57cec5SDimitry Andric       dbgs() << " +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
149*0b57cec5SDimitry Andric                 "++++++ \n");
150*0b57cec5SDimitry Andric   return Changed;
151*0b57cec5SDimitry Andric }
152*0b57cec5SDimitry Andric 
createRegUsageInfoPropPass()153*0b57cec5SDimitry Andric FunctionPass *llvm::createRegUsageInfoPropPass() {
154*0b57cec5SDimitry Andric   return new RegUsageInfoPropagation();
155*0b57cec5SDimitry Andric }
156