diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2011-07-30 00:57:25 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2011-07-30 00:57:25 +0000 |
commit | 4af0f5fecb42563ff3ca5bd7fddb2f4f111e2fef (patch) | |
tree | 44e100de3b58f991a1fb59c592e9f5efa487c43f /lib/CodeGen/MachineVerifier.cpp | |
parent | 2e1513d9cd7750db05048fb2af0c8cac0307fc5a (diff) | |
download | llvm-4af0f5fecb42563ff3ca5bd7fddb2f4f111e2fef.tar.gz llvm-4af0f5fecb42563ff3ca5bd7fddb2f4f111e2fef.tar.bz2 llvm-4af0f5fecb42563ff3ca5bd7fddb2f4f111e2fef.tar.xz |
Revert "Don't check liveness of unallocatable registers."
The ARM target depends on CPSR liveness being tracked after register
allocation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136548 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/MachineVerifier.cpp')
-rw-r--r-- | lib/CodeGen/MachineVerifier.cpp | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index f798c1346e..8541d18ef3 100644 --- a/lib/CodeGen/MachineVerifier.cpp +++ b/lib/CodeGen/MachineVerifier.cpp @@ -664,15 +664,8 @@ MachineVerifier::visitMachineOperand(const MachineOperand *MO, unsigned MONum) { // Use of a dead register. if (!regsLive.count(Reg)) { if (TargetRegisterInfo::isPhysicalRegister(Reg)) { - // Reserved registers may be used even when 'dead', but allocatable - // registers can't. - // We track the liveness of unreserved, unallocatable registers while - // the machine function is still in SSA form. That lets us check for - // bad EFLAGS uses. After register allocation, the unallocatable - // registers are probably quite wrong. For example, the x87 ST0-ST7 - // registers don't track liveness at all. - if (!isReserved(Reg) && - (MRI->isSSA() || TRI->isInAllocatableClass(Reg))) + // Reserved registers may be used even when 'dead'. + if (!isReserved(Reg)) report("Using an undefined physical register", MO, MONum); } else { BBInfo &MInfo = MBBInfoMap[MI->getParent()]; |