From: Eric Christopher <echristo@apple.com>
Date: Tue, 16 Nov 2010 01:58:21 +0000 (+0000)
Subject: Make the verifier a little quieter on instructions that it's probably
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=800e57313e19a30749ca59ed03f33583ffff4a3a;p=oota-llvm.git

Make the verifier a little quieter on instructions that it's probably
(and likely) wrong about anyhow.


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

diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp
index 8ada60a5533..47a94b35c76 100644
--- a/lib/CodeGen/MachineVerifier.cpp
+++ b/lib/CodeGen/MachineVerifier.cpp
@@ -558,7 +558,9 @@ MachineVerifier::visitMachineOperand(const MachineOperand *MO, unsigned MONum) {
     else if (MO->isImplicit())
       report("Explicit definition marked as implicit", MO, MONum);
   } else if (MONum < TI.getNumOperands()) {
-    if (MO->isReg()) {
+    // Don't check if it's a variadic instruction. See, e.g., LDM_RET in the arm
+    // back end.
+    if (MO->isReg() && MONum != TI.getNumOperands()-1) {
       if (MO->isDef())
         report("Explicit operand marked as def", MO, MONum);
       if (MO->isImplicit())