summaryrefslogtreecommitdiffstats
path: root/llvm/lib/CodeGen/MachineVerifier.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
-rw-r--r--llvm/lib/CodeGen/MachineVerifier.cpp11
1 files changed, 2 insertions, 9 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp
index f798c1346e0..8541d18ef3e 100644
--- a/llvm/lib/CodeGen/MachineVerifier.cpp
+++ b/llvm/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()];
OpenPOWER on IntegriCloud