blob: f1c442ac38ae4702a7d40d358dd043bad315683e [file] [log] [blame]
Chad Rosier4f0dad12016-07-11 18:45:49 +00001//===-- RegUsageInfoCollector.cpp - Register Usage Information Collector --===//
Mehdi Aminibbacddf2016-06-10 16:19:46 +00002//
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 is simple MachineFunction pass which collects register usage
14/// details by iterating through each physical registers and checking
15/// MRI::isPhysRegUsed() then creates a RegMask based on this details.
16/// The pass then stores this RegMask in PhysicalRegisterUsageInfo.cpp
17///
18//===----------------------------------------------------------------------===//
19
Mehdi Amini4beea662016-07-13 23:39:34 +000020#include "llvm/ADT/Statistic.h"
Mehdi Aminibbacddf2016-06-10 16:19:46 +000021#include "llvm/CodeGen/MachineBasicBlock.h"
22#include "llvm/CodeGen/MachineFunctionPass.h"
23#include "llvm/CodeGen/MachineInstr.h"
24#include "llvm/CodeGen/MachineOperand.h"
25#include "llvm/CodeGen/MachineRegisterInfo.h"
26#include "llvm/CodeGen/Passes.h"
27#include "llvm/CodeGen/RegisterUsageInfo.h"
28#include "llvm/Support/Debug.h"
29#include "llvm/Support/raw_ostream.h"
David Blaikie1be62f02017-11-03 22:32:11 +000030#include "llvm/CodeGen/TargetFrameLowering.h"
Mehdi Aminibbacddf2016-06-10 16:19:46 +000031
32using namespace llvm;
33
34#define DEBUG_TYPE "ip-regalloc"
35
Mehdi Amini4beea662016-07-13 23:39:34 +000036STATISTIC(NumCSROpt,
37 "Number of functions optimized for callee saved registers");
38
Mehdi Aminibbacddf2016-06-10 16:19:46 +000039namespace {
Matthias Braun5c1e23b2018-07-26 00:27:51 +000040
Mehdi Aminibbacddf2016-06-10 16:19:46 +000041class RegUsageInfoCollector : public MachineFunctionPass {
42public:
43 RegUsageInfoCollector() : MachineFunctionPass(ID) {
44 PassRegistry &Registry = *PassRegistry::getPassRegistry();
45 initializeRegUsageInfoCollectorPass(Registry);
46 }
47
Mehdi Amini117296c2016-10-01 02:56:57 +000048 StringRef getPassName() const override {
Mehdi Aminibbacddf2016-06-10 16:19:46 +000049 return "Register Usage Information Collector Pass";
50 }
51
Matthias Braun5c1e23b2018-07-26 00:27:51 +000052 void getAnalysisUsage(AnalysisUsage &AU) const override {
53 AU.addRequired<PhysicalRegisterUsageInfo>();
54 AU.setPreservesAll();
55 MachineFunctionPass::getAnalysisUsage(AU);
56 }
Mehdi Aminibbacddf2016-06-10 16:19:46 +000057
58 bool runOnMachineFunction(MachineFunction &MF) override;
59
Jonas Paulsson7d484fa2018-05-25 08:42:02 +000060 // Call determineCalleeSaves and then also set the bits for subregs and
61 // fully saved superregs.
62 static void computeCalleeSavedRegs(BitVector &SavedRegs, MachineFunction &MF);
63
Mehdi Aminibbacddf2016-06-10 16:19:46 +000064 static char ID;
Mehdi Aminibbacddf2016-06-10 16:19:46 +000065};
Matthias Braun5c1e23b2018-07-26 00:27:51 +000066
Mehdi Aminibbacddf2016-06-10 16:19:46 +000067} // end of anonymous namespace
68
69char RegUsageInfoCollector::ID = 0;
70
71INITIALIZE_PASS_BEGIN(RegUsageInfoCollector, "RegUsageInfoCollector",
72 "Register Usage Information Collector", false, false)
73INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo)
74INITIALIZE_PASS_END(RegUsageInfoCollector, "RegUsageInfoCollector",
75 "Register Usage Information Collector", false, false)
76
77FunctionPass *llvm::createRegUsageInfoCollector() {
78 return new RegUsageInfoCollector();
79}
80
Mehdi Aminibbacddf2016-06-10 16:19:46 +000081bool RegUsageInfoCollector::runOnMachineFunction(MachineFunction &MF) {
82 MachineRegisterInfo *MRI = &MF.getRegInfo();
Benjamin Kramerbc2f4fb2016-06-12 13:32:23 +000083 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
Mehdi Aminibbacddf2016-06-10 16:19:46 +000084 const TargetMachine &TM = MF.getTarget();
85
Nicola Zaghend34e60c2018-05-14 12:53:11 +000086 LLVM_DEBUG(dbgs() << " -------------------- " << getPassName()
87 << " -------------------- \n");
88 LLVM_DEBUG(dbgs() << "Function Name : " << MF.getName() << "\n");
Mehdi Aminibbacddf2016-06-10 16:19:46 +000089
90 std::vector<uint32_t> RegMask;
91
92 // Compute the size of the bit vector to represent all the registers.
93 // The bit vector is broken into 32-bit chunks, thus takes the ceil of
94 // the number of registers divided by 32 for the size.
Matthias Braun57dd5b32018-07-26 00:27:47 +000095 unsigned RegMaskSize = MachineOperand::getRegMaskSize(TRI->getNumRegs());
Matthias Braun5c1e23b2018-07-26 00:27:51 +000096 RegMask.resize(RegMaskSize, ~((uint32_t)0));
Mehdi Aminibbacddf2016-06-10 16:19:46 +000097
Matthias Braunf1caa282017-12-15 22:22:58 +000098 const Function &F = MF.getFunction();
Mehdi Amini4beea662016-07-13 23:39:34 +000099
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000100 PhysicalRegisterUsageInfo &PRUI = getAnalysis<PhysicalRegisterUsageInfo>();
101 PRUI.setTargetMachine(TM);
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000102
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000103 LLVM_DEBUG(dbgs() << "Clobbered Registers: ");
Chad Rosier4f0dad12016-07-11 18:45:49 +0000104
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000105 BitVector SavedRegs;
106 computeCalleeSavedRegs(SavedRegs, MF);
107
Marcello Maggioni598d89a2017-03-13 21:42:53 +0000108 const BitVector &UsedPhysRegsMask = MRI->getUsedPhysRegsMask();
109 auto SetRegAsDefined = [&RegMask] (unsigned Reg) {
110 RegMask[Reg / 32] &= ~(1u << Reg % 32);
111 };
112 // Scan all the physical registers. When a register is defined in the current
113 // function set it and all the aliasing registers as defined in the regmask.
114 for (unsigned PReg = 1, PRegE = TRI->getNumRegs(); PReg < PRegE; ++PReg) {
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000115 // Don't count registers that are saved and restored.
116 if (SavedRegs.test(PReg))
117 continue;
Marcello Maggioni598d89a2017-03-13 21:42:53 +0000118 // If a register is defined by an instruction mark it as defined together
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000119 // with all it's unsaved aliases.
Marcello Maggioni598d89a2017-03-13 21:42:53 +0000120 if (!MRI->def_empty(PReg)) {
121 for (MCRegAliasIterator AI(PReg, TRI, true); AI.isValid(); ++AI)
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000122 if (!SavedRegs.test(*AI))
123 SetRegAsDefined(*AI);
Jonas Paulsson72fe7602018-05-04 07:50:05 +0000124 continue;
Marcello Maggioni598d89a2017-03-13 21:42:53 +0000125 }
Jonas Paulsson72fe7602018-05-04 07:50:05 +0000126 // If a register is in the UsedPhysRegsMask set then mark it as defined.
127 // All clobbered aliases will also be in the set, so we can skip setting
128 // as defined all the aliases here.
129 if (UsedPhysRegsMask.test(PReg))
130 SetRegAsDefined(PReg);
Marcello Maggioni598d89a2017-03-13 21:42:53 +0000131 }
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000132
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000133 if (TargetFrameLowering::isSafeForNoCSROpt(F)) {
Mehdi Amini4beea662016-07-13 23:39:34 +0000134 ++NumCSROpt;
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000135 LLVM_DEBUG(dbgs() << MF.getName()
136 << " function optimized for not having CSR.\n");
Mehdi Amini4beea662016-07-13 23:39:34 +0000137 }
Chad Rosier20e4d9e2016-06-15 21:14:02 +0000138
139 for (unsigned PReg = 1, PRegE = TRI->getNumRegs(); PReg < PRegE; ++PReg)
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000140 if (MachineOperand::clobbersPhysReg(&(RegMask[0]), PReg))
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000141 LLVM_DEBUG(dbgs() << printReg(PReg, TRI) << " ");
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000142
Nicola Zaghend34e60c2018-05-14 12:53:11 +0000143 LLVM_DEBUG(dbgs() << " \n----------------------------------------\n");
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000144
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000145 PRUI.storeUpdateRegUsageInfo(F, RegMask);
Mehdi Aminibbacddf2016-06-10 16:19:46 +0000146
147 return false;
148}
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000149
150void RegUsageInfoCollector::
151computeCalleeSavedRegs(BitVector &SavedRegs, MachineFunction &MF) {
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000152 const TargetFrameLowering &TFI = *MF.getSubtarget().getFrameLowering();
153 const TargetRegisterInfo &TRI = *MF.getSubtarget().getRegisterInfo();
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000154
155 // Target will return the set of registers that it saves/restores as needed.
156 SavedRegs.clear();
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000157 TFI.determineCalleeSaves(MF, SavedRegs);
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000158
159 // Insert subregs.
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000160 const MCPhysReg *CSRegs = TRI.getCalleeSavedRegs(&MF);
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000161 for (unsigned i = 0; CSRegs[i]; ++i) {
162 unsigned Reg = CSRegs[i];
163 if (SavedRegs.test(Reg))
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000164 for (MCSubRegIterator SR(Reg, &TRI, false); SR.isValid(); ++SR)
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000165 SavedRegs.set(*SR);
166 }
167
168 // Insert any register fully saved via subregisters.
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000169 for (unsigned PReg = 1, PRegE = TRI.getNumRegs(); PReg < PRegE; ++PReg) {
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000170 if (SavedRegs.test(PReg))
171 continue;
172
173 // Check if PReg is fully covered by its subregs.
174 bool CoveredBySubRegs = false;
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000175 for (const TargetRegisterClass *RC : TRI.regclasses())
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000176 if (RC->CoveredBySubRegs && RC->contains(PReg)) {
177 CoveredBySubRegs = true;
178 break;
179 }
180 if (!CoveredBySubRegs)
181 continue;
182
183 // Add PReg to SavedRegs if all subregs are saved.
184 bool AllSubRegsSaved = true;
Matthias Braun5c1e23b2018-07-26 00:27:51 +0000185 for (MCSubRegIterator SR(PReg, &TRI, false); SR.isValid(); ++SR)
Jonas Paulsson7d484fa2018-05-25 08:42:02 +0000186 if (!SavedRegs.test(*SR)) {
187 AllSubRegsSaved = false;
188 break;
189 }
190 if (AllSubRegsSaved)
191 SavedRegs.set(PReg);
192 }
193}