From d6fb97761e65fd0db19cd48e22dd05d211822d47 Mon Sep 17 00:00:00 2001 From: Jakob Stoklund Olesen Date: Sat, 16 May 2009 07:24:54 +0000 Subject: [PATCH] Allow redefinition of reserved registers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71932 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/MachineVerifier.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index 70ccae6423b..25549b0269b 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) -- 2.34.1