More asserts around physreg uses

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@103685 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2010-05-13 00:19:39 +00:00
parent d929f77738
commit 63e34f690c

View File

@ -487,7 +487,7 @@ unsigned RAFast::reloadVirtReg(MachineBasicBlock &MBB, MachineInstr *MI,
}
/// reservePhysReg - Mark PhysReg as reserved. This is very similar to
/// defineVirtReg except the physreg is reverved instead of allocated.
/// defineVirtReg except the physreg is reserved instead of allocated.
void RAFast::reservePhysReg(MachineBasicBlock &MBB, MachineInstr *MI,
unsigned PhysReg) {
UsedInInstr.set(PhysReg);
@ -623,6 +623,16 @@ void RAFast::AllocateBasicBlock(MachineBasicBlock &MBB) {
if (!Reg || !TargetRegisterInfo::isPhysicalRegister(Reg) ||
ReservedRegs.test(Reg)) continue;
if (MO.isUse()) {
#ifndef NDEBUG
// We are using a physreg directly. It had better not be clobbered by a
// virtreg.
assert(PhysRegState[Reg] <= regReserved && "Using clobbered physreg");
if (PhysRegState[Reg] == regDisabled)
for (const unsigned *AS = TRI->getAliasSet(Reg);
unsigned Alias = *AS; ++AS)
assert(PhysRegState[Alias] <= regReserved &&
"Physreg alias was clobbered");
#endif
PhysKills.push_back(Reg); // Any clean physreg use is a kill.
UsedInInstr.set(Reg);
} else if (MO.isEarlyClobber()) {