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
diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp
index f798c13..8541d18 100644
--- a/lib/CodeGen/MachineVerifier.cpp
+++ b/lib/CodeGen/MachineVerifier.cpp
@@ -664,15 +664,8 @@
// 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()];