1 //===- LiveRegUnits.cpp - Register Unit Set -------------------------------===//
3 // 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
7 //===----------------------------------------------------------------------===//
9 /// \file This file imlements the LiveRegUnits set.
11 //===----------------------------------------------------------------------===//
13 #include "llvm/CodeGen/LiveRegUnits.h"
15 #include "llvm/CodeGen/MachineBasicBlock.h"
16 #include "llvm/CodeGen/MachineFrameInfo.h"
17 #include "llvm/CodeGen/MachineFunction.h"
18 #include "llvm/CodeGen/MachineInstrBundle.h"
19 #include "llvm/CodeGen/MachineOperand.h"
20 #include "llvm/CodeGen/MachineRegisterInfo.h"
21 #include "llvm/CodeGen/TargetRegisterInfo.h"
22 #include "llvm/MC/MCRegisterInfo.h"
26 void LiveRegUnits::removeRegsNotPreserved(const uint32_t *RegMask
) {
27 for (unsigned U
= 0, E
= TRI
->getNumRegUnits(); U
!= E
; ++U
) {
28 for (MCRegUnitRootIterator
RootReg(U
, TRI
); RootReg
.isValid(); ++RootReg
) {
29 if (MachineOperand::clobbersPhysReg(RegMask
, *RootReg
))
35 void LiveRegUnits::addRegsInMask(const uint32_t *RegMask
) {
36 for (unsigned U
= 0, E
= TRI
->getNumRegUnits(); U
!= E
; ++U
) {
37 for (MCRegUnitRootIterator
RootReg(U
, TRI
); RootReg
.isValid(); ++RootReg
) {
38 if (MachineOperand::clobbersPhysReg(RegMask
, *RootReg
))
44 void LiveRegUnits::stepBackward(const MachineInstr
&MI
) {
45 // Remove defined registers and regmask kills from the set.
46 for (ConstMIBundleOperands
O(MI
); O
.isValid(); ++O
) {
48 if (!O
->isDef() || O
->isDebug())
50 Register Reg
= O
->getReg();
51 if (!Register::isPhysicalRegister(Reg
))
54 } else if (O
->isRegMask())
55 removeRegsNotPreserved(O
->getRegMask());
58 // Add uses to the set.
59 for (ConstMIBundleOperands
O(MI
); O
.isValid(); ++O
) {
60 if (!O
->isReg() || !O
->readsReg() || O
->isDebug())
62 Register Reg
= O
->getReg();
63 if (!Register::isPhysicalRegister(Reg
))
69 void LiveRegUnits::accumulate(const MachineInstr
&MI
) {
70 // Add defs, uses and regmask clobbers to the set.
71 for (ConstMIBundleOperands
O(MI
); O
.isValid(); ++O
) {
73 Register Reg
= O
->getReg();
74 if (!Register::isPhysicalRegister(Reg
))
76 if (!O
->isDef() && !O
->readsReg())
79 } else if (O
->isRegMask())
80 addRegsInMask(O
->getRegMask());
84 /// Add live-in registers of basic block \p MBB to \p LiveUnits.
85 static void addBlockLiveIns(LiveRegUnits
&LiveUnits
,
86 const MachineBasicBlock
&MBB
) {
87 for (const auto &LI
: MBB
.liveins())
88 LiveUnits
.addRegMasked(LI
.PhysReg
, LI
.LaneMask
);
91 /// Adds all callee saved registers to \p LiveUnits.
92 static void addCalleeSavedRegs(LiveRegUnits
&LiveUnits
,
93 const MachineFunction
&MF
) {
94 const MachineRegisterInfo
&MRI
= MF
.getRegInfo();
95 for (const MCPhysReg
*CSR
= MRI
.getCalleeSavedRegs(); CSR
&& *CSR
; ++CSR
)
96 LiveUnits
.addReg(*CSR
);
99 void LiveRegUnits::addPristines(const MachineFunction
&MF
) {
100 const MachineFrameInfo
&MFI
= MF
.getFrameInfo();
101 if (!MFI
.isCalleeSavedInfoValid())
103 /// This function will usually be called on an empty object, handle this
104 /// as a special case.
106 /// Add all callee saved regs, then remove the ones that are saved and
108 addCalleeSavedRegs(*this, MF
);
109 /// Remove the ones that are not saved/restored; they are pristine.
110 for (const CalleeSavedInfo
&Info
: MFI
.getCalleeSavedInfo())
111 removeReg(Info
.getReg());
114 /// If a callee-saved register that is not pristine is already present
115 /// in the set, we should make sure that it stays in it. Precompute the
116 /// set of pristine registers in a separate object.
117 /// Add all callee saved regs, then remove the ones that are saved+restored.
118 LiveRegUnits
Pristine(*TRI
);
119 addCalleeSavedRegs(Pristine
, MF
);
120 /// Remove the ones that are not saved/restored; they are pristine.
121 for (const CalleeSavedInfo
&Info
: MFI
.getCalleeSavedInfo())
122 Pristine
.removeReg(Info
.getReg());
123 addUnits(Pristine
.getBitVector());
126 void LiveRegUnits::addLiveOuts(const MachineBasicBlock
&MBB
) {
127 const MachineFunction
&MF
= *MBB
.getParent();
131 // 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
);
135 // For the return block: Add all callee saved registers.
136 if (MBB
.isReturnBlock()) {
137 const MachineFrameInfo
&MFI
= MF
.getFrameInfo();
138 if (MFI
.isCalleeSavedInfoValid())
139 addCalleeSavedRegs(*this, MF
);
143 void LiveRegUnits::addLiveIns(const MachineBasicBlock
&MBB
) {
144 const MachineFunction
&MF
= *MBB
.getParent();
146 addBlockLiveIns(*this, MBB
);