blob: c226813854922e847eed6b51563895483037a0dd [file] [log] [blame]
Eugene Zelenkoad3a5402017-02-17 21:43:25 +00001//===- LiveRegUnits.cpp - Register Unit Set -------------------------------===//
Matthias Braunf91130f2017-01-20 00:16:14 +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/// \file This file imlements the LiveRegUnits set.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/CodeGen/LiveRegUnits.h"
Matthias Braun70862df2017-06-03 00:26:35 +000015
Eugene Zelenkoad3a5402017-02-17 21:43:25 +000016#include "llvm/CodeGen/MachineBasicBlock.h"
Matthias Braunf91130f2017-01-20 00:16:14 +000017#include "llvm/CodeGen/MachineFrameInfo.h"
18#include "llvm/CodeGen/MachineFunction.h"
19#include "llvm/CodeGen/MachineInstrBundle.h"
Eugene Zelenkoad3a5402017-02-17 21:43:25 +000020#include "llvm/CodeGen/MachineOperand.h"
Matthias Braun70862df2017-06-03 00:26:35 +000021#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikiee3a9b4c2017-11-17 01:07:10 +000022#include "llvm/CodeGen/TargetRegisterInfo.h"
Eugene Zelenkoad3a5402017-02-17 21:43:25 +000023#include "llvm/MC/MCRegisterInfo.h"
Eugene Zelenkoad3a5402017-02-17 21:43:25 +000024
Matthias Braunf91130f2017-01-20 00:16:14 +000025using namespace llvm;
26
27void LiveRegUnits::removeRegsNotPreserved(const uint32_t *RegMask) {
28 for (unsigned U = 0, E = TRI->getNumRegUnits(); U != E; ++U) {
29 for (MCRegUnitRootIterator RootReg(U, TRI); RootReg.isValid(); ++RootReg) {
30 if (MachineOperand::clobbersPhysReg(RegMask, *RootReg))
31 Units.reset(U);
32 }
33 }
34}
35
Matthias Braun5fe20f62017-01-21 02:21:04 +000036void LiveRegUnits::addRegsInMask(const uint32_t *RegMask) {
37 for (unsigned U = 0, E = TRI->getNumRegUnits(); U != E; ++U) {
38 for (MCRegUnitRootIterator RootReg(U, TRI); RootReg.isValid(); ++RootReg) {
39 if (MachineOperand::clobbersPhysReg(RegMask, *RootReg))
40 Units.set(U);
41 }
42 }
43}
44
Matthias Braunf91130f2017-01-20 00:16:14 +000045void LiveRegUnits::stepBackward(const MachineInstr &MI) {
46 // Remove defined registers and regmask kills from the set.
47 for (ConstMIBundleOperands O(MI); O.isValid(); ++O) {
48 if (O->isReg()) {
Krzysztof Parzyszek21650442018-06-21 13:38:43 +000049 if (!O->isDef() || O->isDebug())
Matthias Braunf91130f2017-01-20 00:16:14 +000050 continue;
51 unsigned Reg = O->getReg();
52 if (!TargetRegisterInfo::isPhysicalRegister(Reg))
53 continue;
54 removeReg(Reg);
55 } else if (O->isRegMask())
56 removeRegsNotPreserved(O->getRegMask());
57 }
58
59 // Add uses to the set.
60 for (ConstMIBundleOperands O(MI); O.isValid(); ++O) {
Krzysztof Parzyszek21650442018-06-21 13:38:43 +000061 if (!O->isReg() || !O->readsReg() || O->isDebug())
Matthias Braunf91130f2017-01-20 00:16:14 +000062 continue;
63 unsigned Reg = O->getReg();
64 if (!TargetRegisterInfo::isPhysicalRegister(Reg))
65 continue;
66 addReg(Reg);
67 }
68}
69
Matthias Brauna819fad2017-07-07 03:02:17 +000070void LiveRegUnits::accumulate(const MachineInstr &MI) {
Matthias Braun5fe20f62017-01-21 02:21:04 +000071 // Add defs, uses and regmask clobbers to the set.
72 for (ConstMIBundleOperands O(MI); O.isValid(); ++O) {
73 if (O->isReg()) {
74 unsigned Reg = O->getReg();
75 if (!TargetRegisterInfo::isPhysicalRegister(Reg))
76 continue;
77 if (!O->isDef() && !O->readsReg())
78 continue;
79 addReg(Reg);
80 } else if (O->isRegMask())
81 addRegsInMask(O->getRegMask());
82 }
83}
84
Matthias Braunf91130f2017-01-20 00:16:14 +000085/// Add live-in registers of basic block \p MBB to \p LiveUnits.
Matthias Braun70862df2017-06-03 00:26:35 +000086static void addBlockLiveIns(LiveRegUnits &LiveUnits,
87 const MachineBasicBlock &MBB) {
Matthias Braunf91130f2017-01-20 00:16:14 +000088 for (const auto &LI : MBB.liveins())
89 LiveUnits.addRegMasked(LI.PhysReg, LI.LaneMask);
90}
91
Matthias Braun70862df2017-06-03 00:26:35 +000092/// Adds all callee saved registers to \p LiveUnits.
93static void addCalleeSavedRegs(LiveRegUnits &LiveUnits,
94 const MachineFunction &MF) {
95 const MachineRegisterInfo &MRI = MF.getRegInfo();
96 for (const MCPhysReg *CSR = MRI.getCalleeSavedRegs(); CSR && *CSR; ++CSR)
97 LiveUnits.addReg(*CSR);
Matthias Braunf91130f2017-01-20 00:16:14 +000098}
99
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000100void LiveRegUnits::addPristines(const MachineFunction &MF) {
Matthias Braun70862df2017-06-03 00:26:35 +0000101 const MachineFrameInfo &MFI = MF.getFrameInfo();
102 if (!MFI.isCalleeSavedInfoValid())
103 return;
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000104 /// This function will usually be called on an empty object, handle this
105 /// as a special case.
106 if (empty()) {
107 /// Add all callee saved regs, then remove the ones that are saved and
108 /// restored.
109 addCalleeSavedRegs(*this, MF);
110 /// Remove the ones that are not saved/restored; they are pristine.
111 for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo())
112 removeReg(Info.getReg());
113 return;
114 }
115 /// If a callee-saved register that is not pristine is already present
116 /// in the set, we should make sure that it stays in it. Precompute the
117 /// set of pristine registers in a separate object.
Matthias Braun70862df2017-06-03 00:26:35 +0000118 /// Add all callee saved regs, then remove the ones that are saved+restored.
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000119 LiveRegUnits Pristine(*TRI);
120 addCalleeSavedRegs(Pristine, MF);
Matthias Braun70862df2017-06-03 00:26:35 +0000121 /// Remove the ones that are not saved/restored; they are pristine.
Matthias Braunf91130f2017-01-20 00:16:14 +0000122 for (const CalleeSavedInfo &Info : MFI.getCalleeSavedInfo())
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000123 Pristine.removeReg(Info.getReg());
124 addUnits(Pristine.getBitVector());
Matthias Braunf91130f2017-01-20 00:16:14 +0000125}
126
127void LiveRegUnits::addLiveOuts(const MachineBasicBlock &MBB) {
128 const MachineFunction &MF = *MBB.getParent();
Matthias Braun70862df2017-06-03 00:26:35 +0000129 if (!MBB.succ_empty()) {
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000130 addPristines(MF);
Matthias Braun70862df2017-06-03 00:26:35 +0000131 // To get the live-outs we simply merge the live-ins of all successors.
132 for (const MachineBasicBlock *Succ : MBB.successors())
133 addBlockLiveIns(*this, *Succ);
134 } else if (MBB.isReturnBlock()) {
135 // For the return block: Add all callee saved registers.
136 const MachineFrameInfo &MFI = MF.getFrameInfo();
137 if (MFI.isCalleeSavedInfoValid())
138 addCalleeSavedRegs(*this, MF);
Matthias Braunf91130f2017-01-20 00:16:14 +0000139 }
Matthias Braunf91130f2017-01-20 00:16:14 +0000140}
141
142void LiveRegUnits::addLiveIns(const MachineBasicBlock &MBB) {
143 const MachineFunction &MF = *MBB.getParent();
Krzysztof Parzyszek14574092017-09-08 16:29:50 +0000144 addPristines(MF);
Matthias Braun70862df2017-06-03 00:26:35 +0000145 addBlockLiveIns(*this, MBB);
Matthias Braunf91130f2017-01-20 00:16:14 +0000146}