xref: /src/contrib/llvm-project/llvm/lib/CodeGen/RegUsageInfoPropagate.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
101095a5dSDimitry Andric //=--- RegUsageInfoPropagate.cpp - Register Usage Informartion Propagation --=//
201095a5dSDimitry Andric //
3e6d15924SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e6d15924SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e6d15924SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
601095a5dSDimitry Andric //
701095a5dSDimitry Andric //===----------------------------------------------------------------------===//
801095a5dSDimitry Andric ///
901095a5dSDimitry Andric /// This pass is required to take advantage of the interprocedural register
1001095a5dSDimitry Andric /// allocation infrastructure.
1101095a5dSDimitry Andric ///
1201095a5dSDimitry Andric /// This pass iterates through MachineInstrs in a given MachineFunction and at
1301095a5dSDimitry Andric /// each callsite queries RegisterUsageInfo for RegMask (calculated based on
1401095a5dSDimitry Andric /// actual register allocation) of the callee function, if the RegMask detail
1501095a5dSDimitry Andric /// is available then this pass will update the RegMask of the call instruction.
1601095a5dSDimitry Andric /// This updated RegMask will be used by the register allocator while allocating
1701095a5dSDimitry Andric /// the current MachineFunction.
1801095a5dSDimitry Andric ///
1901095a5dSDimitry Andric //===----------------------------------------------------------------------===//
2001095a5dSDimitry Andric 
2101095a5dSDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
22044eb2f6SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
23145449b1SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
2401095a5dSDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
2501095a5dSDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
2601095a5dSDimitry Andric #include "llvm/CodeGen/Passes.h"
2701095a5dSDimitry Andric #include "llvm/CodeGen/RegisterUsageInfo.h"
2801095a5dSDimitry Andric #include "llvm/IR/Module.h"
29cfca06d7SDimitry Andric #include "llvm/Pass.h"
3001095a5dSDimitry Andric #include "llvm/Support/Debug.h"
3101095a5dSDimitry Andric #include "llvm/Support/raw_ostream.h"
3201095a5dSDimitry Andric 
3301095a5dSDimitry Andric using namespace llvm;
3401095a5dSDimitry Andric 
3501095a5dSDimitry Andric #define DEBUG_TYPE "ip-regalloc"
3601095a5dSDimitry Andric 
3701095a5dSDimitry Andric #define RUIP_NAME "Register Usage Information Propagation"
3801095a5dSDimitry Andric 
3901095a5dSDimitry Andric namespace {
4001095a5dSDimitry Andric 
41eb11fae6SDimitry Andric class RegUsageInfoPropagation : public MachineFunctionPass {
4201095a5dSDimitry Andric public:
RegUsageInfoPropagation()43eb11fae6SDimitry Andric   RegUsageInfoPropagation() : MachineFunctionPass(ID) {
4401095a5dSDimitry Andric     PassRegistry &Registry = *PassRegistry::getPassRegistry();
45eb11fae6SDimitry Andric     initializeRegUsageInfoPropagationPass(Registry);
4601095a5dSDimitry Andric   }
4701095a5dSDimitry Andric 
getPassName() const48b915e9e0SDimitry Andric   StringRef getPassName() const override { return RUIP_NAME; }
4901095a5dSDimitry Andric 
5001095a5dSDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override;
5101095a5dSDimitry Andric 
getAnalysisUsage(AnalysisUsage & AU) const52eb11fae6SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
5301095a5dSDimitry Andric     AU.addRequired<PhysicalRegisterUsageInfo>();
5401095a5dSDimitry Andric     AU.setPreservesAll();
5501095a5dSDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
5601095a5dSDimitry Andric   }
5701095a5dSDimitry Andric 
58eb11fae6SDimitry Andric   static char ID;
59eb11fae6SDimitry Andric 
60eb11fae6SDimitry Andric private:
setRegMask(MachineInstr & MI,ArrayRef<uint32_t> RegMask)61eb11fae6SDimitry Andric   static void setRegMask(MachineInstr &MI, ArrayRef<uint32_t> RegMask) {
62eb11fae6SDimitry Andric     assert(RegMask.size() ==
63eb11fae6SDimitry Andric            MachineOperand::getRegMaskSize(MI.getParent()->getParent()
64eb11fae6SDimitry Andric                                           ->getRegInfo().getTargetRegisterInfo()
65eb11fae6SDimitry Andric                                           ->getNumRegs())
66eb11fae6SDimitry Andric            && "expected register mask size");
67044eb2f6SDimitry Andric     for (MachineOperand &MO : MI.operands()) {
68eb11fae6SDimitry Andric       if (MO.isRegMask())
69eb11fae6SDimitry Andric         MO.setRegMask(RegMask.data());
70eb11fae6SDimitry Andric     }
71eb11fae6SDimitry Andric   }
72eb11fae6SDimitry Andric };
73eb11fae6SDimitry Andric 
74eb11fae6SDimitry Andric } // end of anonymous namespace
75eb11fae6SDimitry Andric 
76eb11fae6SDimitry Andric INITIALIZE_PASS_BEGIN(RegUsageInfoPropagation, "reg-usage-propagation",
77eb11fae6SDimitry Andric                       RUIP_NAME, false, false)
78eb11fae6SDimitry Andric INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo)
79eb11fae6SDimitry Andric INITIALIZE_PASS_END(RegUsageInfoPropagation, "reg-usage-propagation",
80eb11fae6SDimitry Andric                     RUIP_NAME, false, false)
81eb11fae6SDimitry Andric 
82eb11fae6SDimitry Andric char RegUsageInfoPropagation::ID = 0;
83eb11fae6SDimitry Andric 
84eb11fae6SDimitry Andric // Assumes call instructions have a single reference to a function.
findCalledFunction(const Module & M,const MachineInstr & MI)85eb11fae6SDimitry Andric static const Function *findCalledFunction(const Module &M,
86eb11fae6SDimitry Andric                                           const MachineInstr &MI) {
87eb11fae6SDimitry Andric   for (const MachineOperand &MO : MI.operands()) {
88044eb2f6SDimitry Andric     if (MO.isGlobal())
89eb11fae6SDimitry Andric       return dyn_cast<const Function>(MO.getGlobal());
90044eb2f6SDimitry Andric 
91044eb2f6SDimitry Andric     if (MO.isSymbol())
92044eb2f6SDimitry Andric       return M.getFunction(MO.getSymbolName());
93044eb2f6SDimitry Andric   }
94044eb2f6SDimitry Andric 
95044eb2f6SDimitry Andric   return nullptr;
96044eb2f6SDimitry Andric }
97044eb2f6SDimitry Andric 
runOnMachineFunction(MachineFunction & MF)98eb11fae6SDimitry Andric bool RegUsageInfoPropagation::runOnMachineFunction(MachineFunction &MF) {
99eb11fae6SDimitry Andric   const Module &M = *MF.getFunction().getParent();
10001095a5dSDimitry Andric   PhysicalRegisterUsageInfo *PRUI = &getAnalysis<PhysicalRegisterUsageInfo>();
10101095a5dSDimitry Andric 
102eb11fae6SDimitry Andric   LLVM_DEBUG(dbgs() << " ++++++++++++++++++++ " << getPassName()
10301095a5dSDimitry Andric                     << " ++++++++++++++++++++  \n");
104eb11fae6SDimitry Andric   LLVM_DEBUG(dbgs() << "MachineFunction : " << MF.getName() << "\n");
10501095a5dSDimitry Andric 
106044eb2f6SDimitry Andric   const MachineFrameInfo &MFI = MF.getFrameInfo();
107044eb2f6SDimitry Andric   if (!MFI.hasCalls() && !MFI.hasTailCall())
108044eb2f6SDimitry Andric     return false;
109044eb2f6SDimitry Andric 
11001095a5dSDimitry Andric   bool Changed = false;
11101095a5dSDimitry Andric 
11201095a5dSDimitry Andric   for (MachineBasicBlock &MBB : MF) {
11301095a5dSDimitry Andric     for (MachineInstr &MI : MBB) {
11401095a5dSDimitry Andric       if (!MI.isCall())
11501095a5dSDimitry Andric         continue;
116eb11fae6SDimitry Andric       LLVM_DEBUG(
117eb11fae6SDimitry Andric           dbgs()
118cfca06d7SDimitry Andric           << "Call Instruction Before Register Usage Info Propagation : \n"
119cfca06d7SDimitry Andric           << MI << "\n");
12001095a5dSDimitry Andric 
121eb11fae6SDimitry Andric       auto UpdateRegMask = [&](const Function &F) {
122eb11fae6SDimitry Andric         const ArrayRef<uint32_t> RegMask = PRUI->getRegUsageInfo(F);
123eb11fae6SDimitry Andric         if (RegMask.empty())
12401095a5dSDimitry Andric           return;
125eb11fae6SDimitry Andric         setRegMask(MI, RegMask);
12601095a5dSDimitry Andric         Changed = true;
12701095a5dSDimitry Andric       };
12801095a5dSDimitry Andric 
129eb11fae6SDimitry Andric       if (const Function *F = findCalledFunction(M, MI)) {
1301d5ae102SDimitry Andric         if (F->isDefinitionExact()) {
131eb11fae6SDimitry Andric           UpdateRegMask(*F);
132044eb2f6SDimitry Andric         } else {
1331d5ae102SDimitry Andric           LLVM_DEBUG(dbgs() << "Function definition is not exact\n");
1341d5ae102SDimitry Andric         }
1351d5ae102SDimitry Andric       } else {
136eb11fae6SDimitry Andric         LLVM_DEBUG(dbgs() << "Failed to find call target function\n");
137044eb2f6SDimitry Andric       }
13801095a5dSDimitry Andric 
139eb11fae6SDimitry Andric       LLVM_DEBUG(
140cfca06d7SDimitry Andric           dbgs()
141cfca06d7SDimitry Andric           << "Call Instruction After Register Usage Info Propagation : \n"
142044eb2f6SDimitry Andric           << MI << '\n');
14301095a5dSDimitry Andric     }
14401095a5dSDimitry Andric   }
14501095a5dSDimitry Andric 
146eb11fae6SDimitry Andric   LLVM_DEBUG(
147eb11fae6SDimitry Andric       dbgs() << " +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
14801095a5dSDimitry Andric                 "++++++ \n");
14901095a5dSDimitry Andric   return Changed;
15001095a5dSDimitry Andric }
151eb11fae6SDimitry Andric 
createRegUsageInfoPropPass()152eb11fae6SDimitry Andric FunctionPass *llvm::createRegUsageInfoPropPass() {
153eb11fae6SDimitry Andric   return new RegUsageInfoPropagation();
154eb11fae6SDimitry Andric }
155