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 | f70d50419e5c39ca761efd55934e6719577b672f (patch) | |
| tree | 71dd2dd0e3c28fc04aec33155710d7956dfa996d /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 1472cf5b3f05f442c40a8b90480038c2e252e330 (diff) | |
| download | bcm5719-llvm-f70d50419e5c39ca761efd55934e6719577b672f.tar.gz bcm5719-llvm-f70d50419e5c39ca761efd55934e6719577b672f.zip | |
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
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index a13d39e8680..59864fb3a46 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/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)) |
