diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-08-02 07:38:21 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-08-02 07:38:21 +0000 |
| commit | bcdbcb9f95ce02cdc25048938fc461325b6e94a6 (patch) | |
| tree | 637d22168e71821352f98e8344918b8a7e70e3c6 /lib/CodeGen/MachineVerifier.cpp | |
| parent | 18a4c16726db2b8874c7b84d04650dda80746074 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77890 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | lib/CodeGen/MachineVerifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index a13d39e868..59864fb3a4 100644 --- a/lib/CodeGen/MachineVerifier.cpp +++ b/lib/CodeGen/MachineVerifier.cpp @@ -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)) |