diff options
Diffstat (limited to 'lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | lib/CodeGen/MachineVerifier.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index 70ccae6423..25549b0269 100644 --- a/lib/CodeGen/MachineVerifier.cpp +++ b/lib/CodeGen/MachineVerifier.cpp @@ -446,7 +446,8 @@ MachineVerifier::visitMachineInstrAfter(const MachineInstr *MI) if (TargetRegisterInfo::isPhysicalRegister(*I)) { // We allow double defines to physical registers with live // super-registers. - if (!allowPhysDoubleDefs && !anySuperRegisters(regsLive, *I)) { + if (!allowPhysDoubleDefs && !isReserved(*I) && + !anySuperRegisters(regsLive, *I)) { report("Redefining a live physical register", MI); *OS << "Register " << TRI->getName(*I) << " was defined but already live.\n"; @@ -615,7 +616,7 @@ MachineVerifier::visitMachineFunctionAfter() for (MachineBasicBlock::const_livein_iterator I = MFI->livein_begin(), E = MFI->livein_end(); I != E; ++I) { if (TargetRegisterInfo::isPhysicalRegister(*I) && - !PrInfo.isLiveOut(*I)) { + !isReserved (*I) && !PrInfo.isLiveOut(*I)) { report("Live-in physical register is not live-out from predecessor", MFI); *OS << "Register " << TRI->getName(*I) |