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 | d6fb97761e65fd0db19cd48e22dd05d211822d47 (patch) | |
| tree | 6ba3cf1fd167ef85760c562f2d1727312c671259 /lib/CodeGen/MachineVerifier.cpp | |
| parent | 18ad4cb95dd4092eeb29d9c5233d18d9f918b040 (diff) | |
Allow redefinition of reserved registers.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71932 91177308-0d34-0410-b5e6-96231b3b80d8
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) |