6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-06 20:32:19 +00:00
Code Issues Projects Releases Wiki Activity

Fix evil VirtRegRewriter bug.

Browse Source 
The rewriter can keep track of multiple stack slots in the same register if they
happen to have the same value. When an instruction modifies a stack slot by
defining a register that is mapped to a stack slot, other stack slots in that
register are no longer valid.

This is a very rare problem, and I don't have a simple test case. I get the
impression that VirtRegRewriter knows it is about to be deleted, inventing a
last opaque problem.

<rdar://problem/9204040>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128562 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2011-03-30 18:14:07 +00:00
parent eb1c5dcb12
commit efe65ce25c
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
lib/CodeGen/VirtRegRewriter.cpp
View File

@ -261,6 +261,10 @@ public:
/// now).
void ModifyStackSlotOrReMat(int SlotOrReMat);
/// ClobberSharingStackSlots - When a register mapped to a stack slot changes,
/// other stack slots sharing the same register are no longer valid.
void ClobberSharingStackSlots(int StackSlot);
/// AddAvailableRegsToLiveIn - Availability information is being kept coming
/// into the specified MBB. Add available physical registers as potential
/// live-in's. If they are reused in the MBB, they will be added to the
@ -831,6 +835,26 @@ void AvailableSpills::ModifyStackSlotOrReMat(int SlotOrReMat) {
PhysRegsAvailable.erase(I);
}
void AvailableSpills::ClobberSharingStackSlots(int StackSlot) {
std::map<int, unsigned>::iterator It =
SpillSlotsOrReMatsAvailable.find(StackSlot);
if (It == SpillSlotsOrReMatsAvailable.end()) return;
unsigned Reg = It->second >> 1;
// Erase entries in PhysRegsAvailable for other stack slots.
std::multimap<unsigned, int>::iterator I = PhysRegsAvailable.lower_bound(Reg);
while (I != PhysRegsAvailable.end() && I->first == Reg) {
std::multimap<unsigned, int>::iterator NextI = llvm::next(I);
if (I->second != StackSlot) {
DEBUG(dbgs() << "Clobbered sharing SS#" << I->second << " in "
<< PrintReg(Reg, TRI) << '\n');
SpillSlotsOrReMatsAvailable.erase(I->second);
PhysRegsAvailable.erase(I);
}
I = NextI;
}
}
// ************************** //
// Reuse Info Implementation //
// ************************** //
@ -2550,6 +2574,10 @@ LocalRewriter::RewriteMBB(LiveIntervals *LIs,
}
}
// If StackSlot is available in a register that also holds other stack
// slots, clobber those stack slots now.
Spills.ClobberSharingStackSlots(StackSlot);
assert(PhysReg && "VR not assigned a physical register?");
MRI->setPhysRegUsed(PhysReg);
unsigned RReg = SubIdx ? TRI->getSubReg(PhysReg, SubIdx) : PhysReg;