Handle <undef> flag in machine code verifier.

Use of an <undef> register is treated like an <imp-use>. It is not an error to use a dead <undef> register.

llvm-svn: 77890
This commit is contained in:
Jakob Stoklund Olesen 2009-08-02 07:38:21 +00:00
parent 1472cf5b3f
commit f70d50419e
1 changed files with 2 additions and 1 deletions

View File

@ -365,7 +365,8 @@ MachineVerifier::visitMachineOperand(const MachineOperand *MO, unsigned MONum)
addRegWithSubRegs(regsKilled, Reg);
}
// Explicit use of a dead register.
if (!MO->isImplicit() && !regsLive.count(Reg)) {
// A register use marked <undef> is OK.
if (!MO->isImplicit() && !MO->isUndef() && !regsLive.count(Reg)) {
if (TargetRegisterInfo::isPhysicalRegister(Reg)) {
// Reserved registers may be used even when 'dead'.
if (!isReserved(Reg))