blob: 256de295821d0e9f2c813603d31854282780f187 [file] [log] [blame]
Mehdi Amini13c1e252016-06-10 18:37:21 +00001//=--- RegUsageInfoPropagate.cpp - Register Usage Informartion Propagation --=//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9///
10/// This pass is required to take advantage of the interprocedural register
11/// allocation infrastructure.
12///
13/// This pass iterates through MachineInstrs in a given MachineFunction and at
14/// each callsite queries RegisterUsageInfo for RegMask (calculated based on
15/// actual register allocation) of the callee function, if the RegMask detail
16/// is available then this pass will update the RegMask of the call instruction.
17/// This updated RegMask will be used by the register allocator while allocating
18/// the current MachineFunction.
19///
20//===----------------------------------------------------------------------===//
21
22#include "llvm/CodeGen/MachineBasicBlock.h"
23#include "llvm/CodeGen/MachineFunctionPass.h"
Matt Arsenaultee106fc2017-08-24 07:55:13 +000024#include "llvm/CodeGen/MachineFrameInfo.h"
Mehdi Amini13c1e252016-06-10 18:37:21 +000025#include "llvm/CodeGen/MachineInstr.h"
26#include "llvm/CodeGen/MachineRegisterInfo.h"
27#include "llvm/CodeGen/Passes.h"
28#include "llvm/CodeGen/RegisterUsageInfo.h"
29#include "llvm/IR/Module.h"
30#include "llvm/PassAnalysisSupport.h"
31#include "llvm/Support/Debug.h"
32#include "llvm/Support/raw_ostream.h"
33#include "llvm/Target/TargetMachine.h"
34#include <map>
35#include <string>
36
Mehdi Amini13c1e252016-06-10 18:37:21 +000037using namespace llvm;
38
39#define DEBUG_TYPE "ip-regalloc"
40
41#define RUIP_NAME "Register Usage Information Propagation"
42
43namespace {
Mehdi Amini13c1e252016-06-10 18:37:21 +000044
Matthias Braun3a7b5a62018-07-26 00:27:51 +000045class RegUsageInfoPropagation : public MachineFunctionPass {
Mehdi Amini13c1e252016-06-10 18:37:21 +000046public:
Matthias Braun3a7b5a62018-07-26 00:27:51 +000047 RegUsageInfoPropagation() : MachineFunctionPass(ID) {
Mehdi Amini13c1e252016-06-10 18:37:21 +000048 PassRegistry &Registry = *PassRegistry::getPassRegistry();
Matthias Braun3a7b5a62018-07-26 00:27:51 +000049 initializeRegUsageInfoPropagationPass(Registry);
Mehdi Amini13c1e252016-06-10 18:37:21 +000050 }
51
Mehdi Amini67f335d2016-10-01 02:56:57 +000052 StringRef getPassName() const override { return RUIP_NAME; }
Mehdi Amini13c1e252016-06-10 18:37:21 +000053
54 bool runOnMachineFunction(MachineFunction &MF) override;
55
Matthias Braun3a7b5a62018-07-26 00:27:51 +000056 void getAnalysisUsage(AnalysisUsage &AU) const override {
57 AU.addRequired<PhysicalRegisterUsageInfo>();
58 AU.setPreservesAll();
59 MachineFunctionPass::getAnalysisUsage(AU);
60 }
Mehdi Amini13c1e252016-06-10 18:37:21 +000061
62 static char ID;
63
64private:
Matthias Braun3a7b5a62018-07-26 00:27:51 +000065 static void setRegMask(MachineInstr &MI, ArrayRef<uint32_t> RegMask) {
66 assert(RegMask.size() ==
67 MachineOperand::getRegMaskSize(MI.getParent()->getParent()
68 ->getRegInfo().getTargetRegisterInfo()
69 ->getNumRegs())
70 && "expected register mask size");
Mehdi Amini13c1e252016-06-10 18:37:21 +000071 for (MachineOperand &MO : MI.operands()) {
72 if (MO.isRegMask())
Matthias Braun3a7b5a62018-07-26 00:27:51 +000073 MO.setRegMask(RegMask.data());
Mehdi Amini13c1e252016-06-10 18:37:21 +000074 }
75 }
76};
Mehdi Amini13c1e252016-06-10 18:37:21 +000077
Matthias Braun3a7b5a62018-07-26 00:27:51 +000078} // end of anonymous namespace
79
80INITIALIZE_PASS_BEGIN(RegUsageInfoPropagation, "reg-usage-propagation",
Mehdi Amini13c1e252016-06-10 18:37:21 +000081 RUIP_NAME, false, false)
82INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo)
Matthias Braun3a7b5a62018-07-26 00:27:51 +000083INITIALIZE_PASS_END(RegUsageInfoPropagation, "reg-usage-propagation",
Mehdi Amini13c1e252016-06-10 18:37:21 +000084 RUIP_NAME, false, false)
85
Matthias Braun3a7b5a62018-07-26 00:27:51 +000086char RegUsageInfoPropagation::ID = 0;
Mehdi Amini13c1e252016-06-10 18:37:21 +000087
Matt Arsenault1a6aed22017-08-24 07:55:15 +000088// Assumes call instructions have a single reference to a function.
Matthias Braun3a7b5a62018-07-26 00:27:51 +000089static const Function *findCalledFunction(const Module &M,
90 const MachineInstr &MI) {
91 for (const MachineOperand &MO : MI.operands()) {
Matt Arsenault1a6aed22017-08-24 07:55:15 +000092 if (MO.isGlobal())
Matthias Braun3a7b5a62018-07-26 00:27:51 +000093 return dyn_cast<const Function>(MO.getGlobal());
Matt Arsenault1a6aed22017-08-24 07:55:15 +000094
95 if (MO.isSymbol())
96 return M.getFunction(MO.getSymbolName());
97 }
98
99 return nullptr;
100}
101
Matthias Braun3a7b5a62018-07-26 00:27:51 +0000102bool RegUsageInfoPropagation::runOnMachineFunction(MachineFunction &MF) {
103 const Module &M = *MF.getFunction().getParent();
Mehdi Amini13c1e252016-06-10 18:37:21 +0000104 PhysicalRegisterUsageInfo *PRUI = &getAnalysis<PhysicalRegisterUsageInfo>();
105
Nicola Zaghen0818e782018-05-14 12:53:11 +0000106 LLVM_DEBUG(dbgs() << " ++++++++++++++++++++ " << getPassName()
107 << " ++++++++++++++++++++ \n");
108 LLVM_DEBUG(dbgs() << "MachineFunction : " << MF.getName() << "\n");
Mehdi Amini13c1e252016-06-10 18:37:21 +0000109
Matt Arsenaultee106fc2017-08-24 07:55:13 +0000110 const MachineFrameInfo &MFI = MF.getFrameInfo();
111 if (!MFI.hasCalls() && !MFI.hasTailCall())
112 return false;
113
Mehdi Amini13c1e252016-06-10 18:37:21 +0000114 bool Changed = false;
115
116 for (MachineBasicBlock &MBB : MF) {
117 for (MachineInstr &MI : MBB) {
118 if (!MI.isCall())
119 continue;
Nicola Zaghen0818e782018-05-14 12:53:11 +0000120 LLVM_DEBUG(
121 dbgs()
122 << "Call Instruction Before Register Usage Info Propagation : \n");
123 LLVM_DEBUG(dbgs() << MI << "\n");
Mehdi Amini13c1e252016-06-10 18:37:21 +0000124
Matthias Braun3a7b5a62018-07-26 00:27:51 +0000125 auto UpdateRegMask = [&](const Function &F) {
126 const ArrayRef<uint32_t> RegMask = PRUI->getRegUsageInfo(F);
127 if (RegMask.empty())
Mehdi Amini13c1e252016-06-10 18:37:21 +0000128 return;
Matthias Braun3a7b5a62018-07-26 00:27:51 +0000129 setRegMask(MI, RegMask);
Mehdi Amini13c1e252016-06-10 18:37:21 +0000130 Changed = true;
131 };
132
Matthias Braun3a7b5a62018-07-26 00:27:51 +0000133 if (const Function *F = findCalledFunction(M, MI)) {
134 UpdateRegMask(*F);
Matt Arsenault1a6aed22017-08-24 07:55:15 +0000135 } else {
Nicola Zaghen0818e782018-05-14 12:53:11 +0000136 LLVM_DEBUG(dbgs() << "Failed to find call target function\n");
Matt Arsenault1a6aed22017-08-24 07:55:15 +0000137 }
Mehdi Amini13c1e252016-06-10 18:37:21 +0000138
Nicola Zaghen0818e782018-05-14 12:53:11 +0000139 LLVM_DEBUG(
140 dbgs() << "Call Instruction After Register Usage Info Propagation : "
141 << MI << '\n');
Mehdi Amini13c1e252016-06-10 18:37:21 +0000142 }
143 }
144
Nicola Zaghen0818e782018-05-14 12:53:11 +0000145 LLVM_DEBUG(
146 dbgs() << " +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++"
147 "++++++ \n");
Mehdi Amini13c1e252016-06-10 18:37:21 +0000148 return Changed;
149}
Matthias Braun3a7b5a62018-07-26 00:27:51 +0000150
151FunctionPass *llvm::createRegUsageInfoPropPass() {
152 return new RegUsageInfoPropagation();
153}