diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-05-16 07:24:54 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-05-16 07:24:54 +0000 |
commit | c482d14565d537e100201a94840c15a99b472030 (patch) | |
tree | 9cacaf827c9fbe594514723d5ddde2b9d21a14ad | |
parent | b5c37ff57be381020e986475e5ab3f2254d245cf (diff) | |
download | bcm5719-llvm-c482d14565d537e100201a94840c15a99b472030.tar.gz bcm5719-llvm-c482d14565d537e100201a94840c15a99b472030.zip |
Allow redefinition of reserved registers.
llvm-svn: 71932
-rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index 70ccae6423b..25549b0269b 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/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) |