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())