blob: fc4be82d215e5354922287224ad852f56bd2f39d [file] [log] [blame]
Mehdi Amini1d396832016-06-10 18:37:21 +00001//=--- RegUsageInfoPropagate.cpp - Register Usage Informartion Propagation --=//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// 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
Mehdi Amini1d396832016-06-10 18:37:21 +00006//
7//===----------------------------------------------------------------------===//
8///
9/// This pass is required to take advantage of the interprocedural register
10/// allocation infrastructure.
11///
12/// This pass iterates through MachineInstrs in a given MachineFunction and at
13/// each callsite queries RegisterUsageInfo for RegMask (calculated based on
14/// actual register allocation) of the callee function, if the RegMask detail
15/// is available then this pass will update the RegMask of the call instruction.
16/// This updated RegMask will be used by the register allocator while allocating
17/// the current MachineFunction.
18///
19//===----------------------------------------------------------------------===//
20
21#include "llvm/CodeGen/MachineBasicBlock.h"
22#include "llvm/CodeGen/MachineFunctionPass.h"
Matt Arsenault00459e42017-08-24 07:55:13 +000023#include "llvm/CodeGen/MachineFrameInfo.h"
Mehdi Amini1d396832016-06-10 18:37:21 +000024#include "llvm/CodeGen/MachineInstr.h"
25#include "llvm/CodeGen/MachineRegisterInfo.h"
26#include "llvm/CodeGen/Passes.h"
27#include "llvm/CodeGen/RegisterUsageInfo.h"
28#include "llvm/IR/Module.h"
29#include "llvm/PassAnalysisSupport.h"
30#include "llvm/Support/Debug.h"
31#include "llvm/Support/raw_ostream.h"
32#include "llvm/Target/TargetMachine.h"
33#include <map>
34#include <string>
35
Mehdi Amini1d396832016-06-10 18:37:21 +000036using namespace llvm;
37
38#define DEBUG_TYPE "ip-regalloc"
39
40#define RUIP_NAME "Register Usage Information Propagation"
41
42namespace {
Mehdi Amini1d396832016-06-10 18:37:21 +000043
Matthias Braun5c1e23b2018-07-26 00:27:51 +000044class RegUsageInfoPropagation : public MachineFunctionPass {
Mehdi Amini1d396832016-06-10 18:37:21 +000045public:
Matthias Braun5c1e23b2018-07-26 00:27:51 +000046 RegUsageInfoPropagation() : MachineFunctionPass(ID) {
Mehdi Amini1d396832016-06-10 18:37:21 +000047 PassRegistry &Registry = *PassRegistry::getPassRegistry();
Matthias Braun5c1e23b2018-07-26 00:27:51 +000048 initializeRegUsageInfoPropagationPass(Registry);
Mehdi Amini1d396832016-06-10 18:37:21 +000049 }
50
Mehdi Amini117296c2016-10-01 02:56:57 +000051 StringRef getPassName() const override { return RUIP_NAME; }
Mehdi Amini1d396832016-06-10 18:37:21 +000052
53 bool runOnMachineFunction(MachineFunction &MF) override;
54
Matthias Braun5c1e23b2018-07-26 00:27:51 +000055 void getAnalysisUsage(AnalysisUsage &AU) const override {
56 AU.addRequired<PhysicalRegisterUsageInfo>();
57 AU.setPreservesAll();
58 MachineFunctionPass::getAnalysisUsage(AU);
59 }
Mehdi Amini1d396832016-06-10 18:37:21 +000060
61 static char ID;
62
63private:
Matthias Braun5c1e23b2018-07-26 00:27:51 +000064 static void setRegMask(MachineInstr &MI, ArrayRef<uint32_t> RegMask) {
65 assert(RegMask.size() ==
66 MachineOperand::getRegMaskSize(MI.getParent()->getParent()
67 ->getRegInfo().getTargetRegisterInfo()
68 ->getNumRegs())
69 && "expected register mask size");
Mehdi Amini1d396832016-06-10 18:37:21 +000070 for (MachineOperand &MO : MI.operands()) {
71 if (MO.isRegMask())
Matthias Braun5c1e23b2018-07-26 00:27:51 +000072 MO.setRegMask(RegMask.data());
Mehdi Amini1d396832016-06-10 18:37:21 +000073 }
74 }
75};
Mehdi Amini1d396832016-06-10 18:37:21 +000076
Matthias Braun5c1e23b2018-07-26 00:27:51 +000077} // end of anonymous namespace
78
79INITIALIZE_PASS_BEGIN(RegUsageInfoPropagation, "reg-usage-propagation",
Mehdi Amini1d396832016-06-10 18:37:21 +000080 RUIP_NAME, false, false)
81INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo)
Matthias Braun5c1e23b2018-07-26 00:27:51 +000082INITIALIZE_PASS_END(RegUsageInfoPropagation, "reg-usage-propagation",
Mehdi Amini1d396832016-06-10 18:37:21 +000083 RUIP_NAME, false, false)
84
Matthias Braun5c1e23b2018-07-26 00:27:51 +000085char RegUsageInfoPropagation::ID = 0;
Mehdi Amini1d396832016-06-10 18:37:21 +000086
Matt Arsenaultd6643152017-08-24 07:55:15 +000087// Assumes call instructions have a single reference to a function.
Matthias Braun5c1e23b2018-07-26 00:27:51 +000088static const Function *findCalledFunction(const Module &M,
89 const MachineInstr &MI) {
90 for (const MachineOperand &MO : MI.operands()) {
Matt Arsenaultd6643152017-08-24 07:55:15 +000091 if (MO.isGlobal())
Matthias Braun5c1e23b2018-07-26 00:27:51 +000092 return dyn_cast<const Function>(MO.getGlobal());
Matt Arsenaultd6643152017-08-24 07:55:15 +000093
94 if (MO.isSymbol())
95 return M.getFunction(MO.getSymbolName());
96 }
97
98 return nullptr;
99}
100
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000101bool RegUsageInfoPropagation::runOnMachineFunction(MachineFunction &MF) {
102 const Module &M = *MF.getFunction().getParent();
Mehdi Amini1d396832016-06-10 18:37:21 +0000103 PhysicalRegisterUsageInfo *PRUI = &getAnalysis<PhysicalRegisterUsageInfo>();
104
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000105 LLVM_DEBUG(dbgs() << " ++++++++++++++++++++ " << getPassName()
106 << " ++++++++++++++++++++ \n");
107 LLVM_DEBUG(dbgs() << "MachineFunction : " << MF.getName() << "\n");
Mehdi Amini1d396832016-06-10 18:37:21 +0000108
Matt Arsenault00459e42017-08-24 07:55:13 +0000109 const MachineFrameInfo &MFI = MF.getFrameInfo();
110 if (!MFI.hasCalls() && !MFI.hasTailCall())
111 return false;
112
Mehdi Amini1d396832016-06-10 18:37:21 +0000113 bool Changed = false;
114
115 for (MachineBasicBlock &MBB : MF) {
116 for (MachineInstr &MI : MBB) {
117 if (!MI.isCall())
118 continue;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000119 LLVM_DEBUG(
120 dbgs()
121 << "Call Instruction Before Register Usage Info Propagation : \n");
122 LLVM_DEBUG(dbgs() << MI << "\n");
Mehdi Amini1d396832016-06-10 18:37:21 +0000123
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000124 auto UpdateRegMask = [&](const Function &F) {
125 const ArrayRef<uint32_t> RegMask = PRUI->getRegUsageInfo(F);
126 if (RegMask.empty())
Mehdi Amini1d396832016-06-10 18:37:21 +0000127 return;
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000128 setRegMask(MI, RegMask);
Mehdi Amini1d396832016-06-10 18:37:21 +0000129 Changed = true;
130 };
131
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000132 if (const Function *F = findCalledFunction(M, MI)) {
133 UpdateRegMask(*F);
Matt Arsenaultd6643152017-08-24 07:55:15 +0000134 } else {
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000135 LLVM_DEBUG(dbgs() << "Failed to find call target function\n");
Matt Arsenaultd6643152017-08-24 07:55:15 +0000136 }
Mehdi Amini1d396832016-06-10 18:37:21 +0000137
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000138 LLVM_DEBUG(
139 dbgs() << "Call Instruction After Register Usage Info Propagation : "
140 << MI << '\n');
Mehdi Amini1d396832016-06-10 18:37:21 +0000141 }
142 }
143
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000144 LLVM_DEBUG(
145 dbgs() << " +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
146 "++++++ \n");
Mehdi Amini1d396832016-06-10 18:37:21 +0000147 return Changed;
148}
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000149
150FunctionPass *llvm::createRegUsageInfoPropPass() {
151 return new RegUsageInfoPropagation();
152}