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 | c1297ac65105a518bf44a0298ccea271cd41faac (patch) | |
| tree | 637d22168e71821352f98e8344918b8a7e70e3c6 /lib/CodeGen | |
| parent | 72d228decc0b7d1cd28738b728cb289e5403f14c (diff) | |
| download | external_llvm-c1297ac65105a518bf44a0298ccea271cd41faac.zip external_llvm-c1297ac65105a518bf44a0298ccea271cd41faac.tar.gz external_llvm-c1297ac65105a518bf44a0298ccea271cd41faac.tar.bz2 | |
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')
| -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 a13d39e..59864fb 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)) |