commit 93e6f02759a9d98c0c0621540382074219aa374a
author Jakob Stoklund Olesen <stoklund@2pi.dk> Fri Jul 29 23:02:48 2011 +0000
committer Jakob Stoklund Olesen <stoklund@2pi.dk> Fri Jul 29 23:02:48 2011 +0000
tree 145977c89d5939ed3a742c7bcdfcfa3d32b3e3a8
parent eb809f562e13603459182a5d1c7b0d0704770e6f

Check for multiple defs in the machine code verifier.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@136535 91177308-0d34-0410-b5e6-96231b3b80d8

lib/CodeGen/MachineVerifier.cpp

diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp
index 7a55852..8541d18 100644
--- a/lib/CodeGen/MachineVerifier.cpp
+++ b/lib/CodeGen/MachineVerifier.cpp
@@ -686,6 +686,11 @@
       else
         addRegWithSubRegs(regsDefined, Reg);
 
+      // Verify SSA form.
+      if (MRI->isSSA() && TargetRegisterInfo::isVirtualRegister(Reg) &&
+          llvm::next(MRI->def_begin(Reg)) != MRI->def_end())
+        report("Multiple virtual register defs in SSA form", MO, MONum);
+
       // Check LiveInts for a live range, but only for virtual registers.
       if (LiveInts && TargetRegisterInfo::isVirtualRegister(Reg) &&
           !LiveInts->isNotInMIMap(MI)) {