summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJakob Stoklund Olesen <stoklund@2pi.dk>2009-05-16 07:24:54 +0000
committerJakob Stoklund Olesen <stoklund@2pi.dk>2009-05-16 07:24:54 +0000
commitc482d14565d537e100201a94840c15a99b472030 (patch)
tree9cacaf827c9fbe594514723d5ddde2b9d21a14ad
parentb5c37ff57be381020e986475e5ab3f2254d245cf (diff)
downloadbcm5719-llvm-c482d14565d537e100201a94840c15a99b472030.tar.gz
bcm5719-llvm-c482d14565d537e100201a94840c15a99b472030.zip
Allow redefinition of reserved registers.
llvm-svn: 71932
-rw-r--r--llvm/lib/CodeGen/MachineVerifier.cpp5
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)
OpenPOWER on IntegriCloud