| Chad Rosier | 4f0dad1 | 2016-07-11 18:45:49 +0000 | [diff] [blame] | 1 | //===-- RegUsageInfoCollector.cpp - Register Usage Information Collector --===// | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 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 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 Amini | 4beea66 | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 20 | #include "llvm/ADT/Statistic.h" | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 21 | #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 Blaikie | 1be62f0 | 2017-11-03 22:32:11 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/TargetFrameLowering.h" | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 31 |  | 
|  | 32 | using namespace llvm; | 
|  | 33 |  | 
|  | 34 | #define DEBUG_TYPE "ip-regalloc" | 
|  | 35 |  | 
| Mehdi Amini | 4beea66 | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 36 | STATISTIC(NumCSROpt, | 
|  | 37 | "Number of functions optimized for callee saved registers"); | 
|  | 38 |  | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 39 | namespace llvm { | 
|  | 40 | void initializeRegUsageInfoCollectorPass(PassRegistry &); | 
|  | 41 | } | 
|  | 42 |  | 
|  | 43 | namespace { | 
|  | 44 | class RegUsageInfoCollector : public MachineFunctionPass { | 
|  | 45 | public: | 
|  | 46 | RegUsageInfoCollector() : MachineFunctionPass(ID) { | 
|  | 47 | PassRegistry &Registry = *PassRegistry::getPassRegistry(); | 
|  | 48 | initializeRegUsageInfoCollectorPass(Registry); | 
|  | 49 | } | 
|  | 50 |  | 
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 51 | StringRef getPassName() const override { | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 52 | return "Register Usage Information Collector Pass"; | 
|  | 53 | } | 
|  | 54 |  | 
|  | 55 | void getAnalysisUsage(AnalysisUsage &AU) const override; | 
|  | 56 |  | 
|  | 57 | bool runOnMachineFunction(MachineFunction &MF) override; | 
|  | 58 |  | 
|  | 59 | static char ID; | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 60 | }; | 
|  | 61 | } // end of anonymous namespace | 
|  | 62 |  | 
|  | 63 | char RegUsageInfoCollector::ID = 0; | 
|  | 64 |  | 
|  | 65 | INITIALIZE_PASS_BEGIN(RegUsageInfoCollector, "RegUsageInfoCollector", | 
|  | 66 | "Register Usage Information Collector", false, false) | 
|  | 67 | INITIALIZE_PASS_DEPENDENCY(PhysicalRegisterUsageInfo) | 
|  | 68 | INITIALIZE_PASS_END(RegUsageInfoCollector, "RegUsageInfoCollector", | 
|  | 69 | "Register Usage Information Collector", false, false) | 
|  | 70 |  | 
|  | 71 | FunctionPass *llvm::createRegUsageInfoCollector() { | 
|  | 72 | return new RegUsageInfoCollector(); | 
|  | 73 | } | 
|  | 74 |  | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 75 | void RegUsageInfoCollector::getAnalysisUsage(AnalysisUsage &AU) const { | 
|  | 76 | AU.addRequired<PhysicalRegisterUsageInfo>(); | 
|  | 77 | AU.setPreservesAll(); | 
|  | 78 | MachineFunctionPass::getAnalysisUsage(AU); | 
|  | 79 | } | 
|  | 80 |  | 
|  | 81 | bool RegUsageInfoCollector::runOnMachineFunction(MachineFunction &MF) { | 
|  | 82 | MachineRegisterInfo *MRI = &MF.getRegInfo(); | 
| Benjamin Kramer | bc2f4fb | 2016-06-12 13:32:23 +0000 | [diff] [blame] | 83 | const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo(); | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 84 | const TargetMachine &TM = MF.getTarget(); | 
|  | 85 |  | 
|  | 86 | DEBUG(dbgs() << " -------------------- " << getPassName() | 
|  | 87 | << " -------------------- \n"); | 
|  | 88 | DEBUG(dbgs() << "Function Name : " << MF.getName() << "\n"); | 
|  | 89 |  | 
|  | 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. | 
| Chad Rosier | 20e4d9e | 2016-06-15 21:14:02 +0000 | [diff] [blame] | 95 | unsigned RegMaskSize = (TRI->getNumRegs() + 31) / 32; | 
|  | 96 | RegMask.resize(RegMaskSize, 0xFFFFFFFF); | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 97 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 98 | const Function &F = MF.getFunction(); | 
| Mehdi Amini | 4beea66 | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 99 |  | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 100 | PhysicalRegisterUsageInfo *PRUI = &getAnalysis<PhysicalRegisterUsageInfo>(); | 
|  | 101 |  | 
|  | 102 | PRUI->setTargetMachine(&TM); | 
|  | 103 |  | 
|  | 104 | DEBUG(dbgs() << "Clobbered Registers: "); | 
| Chad Rosier | 4f0dad1 | 2016-07-11 18:45:49 +0000 | [diff] [blame] | 105 |  | 
| Marcello Maggioni | 598d89a | 2017-03-13 21:42:53 +0000 | [diff] [blame] | 106 | const BitVector &UsedPhysRegsMask = MRI->getUsedPhysRegsMask(); | 
|  | 107 | auto SetRegAsDefined = [&RegMask] (unsigned Reg) { | 
|  | 108 | RegMask[Reg / 32] &= ~(1u << Reg % 32); | 
|  | 109 | }; | 
|  | 110 | // Scan all the physical registers. When a register is defined in the current | 
|  | 111 | // function set it and all the aliasing registers as defined in the regmask. | 
|  | 112 | for (unsigned PReg = 1, PRegE = TRI->getNumRegs(); PReg < PRegE; ++PReg) { | 
|  | 113 | // If a register is in the UsedPhysRegsMask set then mark it as defined. | 
|  | 114 | // All it's aliases will also be in the set, so we can skip setting | 
|  | 115 | // as defined all the aliases here. | 
|  | 116 | if (UsedPhysRegsMask.test(PReg)) { | 
|  | 117 | SetRegAsDefined(PReg); | 
|  | 118 | continue; | 
|  | 119 | } | 
|  | 120 | // If a register is defined by an instruction mark it as defined together | 
|  | 121 | // with all it's aliases. | 
|  | 122 | if (!MRI->def_empty(PReg)) { | 
|  | 123 | for (MCRegAliasIterator AI(PReg, TRI, true); AI.isValid(); ++AI) | 
|  | 124 | SetRegAsDefined(*AI); | 
|  | 125 | } | 
|  | 126 | } | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 127 |  | 
| Mehdi Amini | 4beea66 | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 128 | if (!TargetFrameLowering::isSafeForNoCSROpt(F)) { | 
|  | 129 | const uint32_t *CallPreservedMask = | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 130 | TRI->getCallPreservedMask(MF, F.getCallingConv()); | 
| Matt Arsenault | b94972c | 2017-08-05 07:50:18 +0000 | [diff] [blame] | 131 | if (CallPreservedMask) { | 
|  | 132 | // Set callee saved register as preserved. | 
|  | 133 | for (unsigned i = 0; i < RegMaskSize; ++i) | 
|  | 134 | RegMask[i] = RegMask[i] | CallPreservedMask[i]; | 
|  | 135 | } | 
| Mehdi Amini | 4beea66 | 2016-07-13 23:39:34 +0000 | [diff] [blame] | 136 | } else { | 
|  | 137 | ++NumCSROpt; | 
|  | 138 | DEBUG(dbgs() << MF.getName() | 
|  | 139 | << " function optimized for not having CSR.\n"); | 
|  | 140 | } | 
| Chad Rosier | 20e4d9e | 2016-06-15 21:14:02 +0000 | [diff] [blame] | 141 |  | 
|  | 142 | for (unsigned PReg = 1, PRegE = TRI->getNumRegs(); PReg < PRegE; ++PReg) | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 143 | if (MachineOperand::clobbersPhysReg(&(RegMask[0]), PReg)) | 
| Francis Visoiu Mistrih | c71cced | 2017-11-30 16:12:24 +0000 | [diff] [blame] | 144 | DEBUG(dbgs() << printReg(PReg, TRI) << " "); | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 145 |  | 
|  | 146 | DEBUG(dbgs() << " \n----------------------------------------\n"); | 
|  | 147 |  | 
| Matthias Braun | f1caa28 | 2017-12-15 22:22:58 +0000 | [diff] [blame] | 148 | PRUI->storeUpdateRegUsageInfo(&F, std::move(RegMask)); | 
| Mehdi Amini | bbacddf | 2016-06-10 16:19:46 +0000 | [diff] [blame] | 149 |  | 
|  | 150 | return false; | 
|  | 151 | } |