maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

LivePhysRegs: Fix live-outs of return blocks 

I realized that the live-out set computed for the return block is
missing the callee saved registers (the non-pristine ones to be exact).

This only affects the liveness computed for instructions inside the
function epilogue which currently none of the LivePhysRegs users in llvm
cares about, so this is just a drive-by fix without a testcase.

Differential Revision: http://reviews.llvm.org/D13180

llvm-svn: 248636
This commit is contained in:
Matthias Braun 2015-09-25 23:50:53 +00:00
parent cc8c7773c5
commit 93ab942c24
2 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/include/llvm/CodeGen/LivePhysRegs.h
View File

@ -122,9 +122,9 @@ public:
void addLiveIns(const MachineBasicBlock *MBB, bool AddPristines = false);
/// \brief Adds all live-out registers of basic block @p MBB; After prologue/
/// epilogue insertion \p AddPristines should be set to true to insert the
/// pristine registers.
void addLiveOuts(const MachineBasicBlock *MBB, bool AddPristines = false);
/// epilogue insertion \p AddPristinesAndCSRs should be set to true.
void addLiveOuts(const MachineBasicBlock *MBB,
bool AddPristinesAndCSRs = false);
typedef SparseSet<unsigned>::const_iterator const_iterator;
const_iterator begin() const { return LiveRegs.begin(); }

12
llvm/lib/CodeGen/LivePhysRegs.cpp
View File

@ -147,11 +147,19 @@ static void addPristines(LivePhysRegs &LiveRegs, const MachineFunction &MF,
}
void LivePhysRegs::addLiveOuts(const MachineBasicBlock *MBB,
bool AddPristines) {
if (AddPristines) {
bool AddPristinesAndCSRs) {
if (AddPristinesAndCSRs) {
const MachineFunction &MF = *MBB->getParent();
addPristines(*this, MF, *TRI);
if (!MBB->isReturnBlock()) {
// The return block has no successors whose live-ins we could merge
// below. So instead we add the callee saved registers manually.
for (const MCPhysReg *I = TRI->getCalleeSavedRegs(&MF); *I; ++I)
addReg(*I);
}
}
// To get the live-outs we simply merge the live-ins of all successors.
for (const MachineBasicBlock *Succ : MBB->successors())
::addLiveIns(*this, *Succ);
}