diff options
| author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-06-22 22:23:58 +0000 |
|---|---|---|
| committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2012-06-22 22:23:58 +0000 |
| commit | b033dede17c81534c4186803c91986c565a87cd6 (patch) | |
| tree | 0cab853767ab63fd82130d1bff272494efa210c7 /llvm/lib/CodeGen/MachineVerifier.cpp | |
| parent | 7aa3687bb6a5f4b1c04bef68e96ca0ceafb35a44 (diff) | |
| download | bcm5719-llvm-b033dede17c81534c4186803c91986c565a87cd6.tar.gz bcm5719-llvm-b033dede17c81534c4186803c91986c565a87cd6.zip | |
Also verify the def index for early clobbers.
llvm-svn: 159039
Diffstat (limited to 'llvm/lib/CodeGen/MachineVerifier.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/MachineVerifier.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/llvm/lib/CodeGen/MachineVerifier.cpp b/llvm/lib/CodeGen/MachineVerifier.cpp index f79bcd9fcee..92d9356e83b 100644 --- a/llvm/lib/CodeGen/MachineVerifier.cpp +++ b/llvm/lib/CodeGen/MachineVerifier.cpp @@ -866,12 +866,13 @@ void MachineVerifier::checkLiveness(const MachineOperand *MO, unsigned MONum) { // Check LiveInts for a live range, but only for virtual registers. if (LiveInts && TargetRegisterInfo::isVirtualRegister(Reg) && !LiveInts->isNotInMIMap(MI)) { - SlotIndex DefIdx = LiveInts->getInstructionIndex(MI).getRegSlot(); + SlotIndex DefIdx = LiveInts->getInstructionIndex(MI); + DefIdx = DefIdx.getRegSlot(MO->isEarlyClobber()); if (LiveInts->hasInterval(Reg)) { const LiveInterval &LI = LiveInts->getInterval(Reg); if (const VNInfo *VNI = LI.getVNInfoAt(DefIdx)) { assert(VNI && "NULL valno is not allowed"); - if (VNI->def != DefIdx && !MO->isEarlyClobber()) { + if (VNI->def != DefIdx) { report("Inconsistent valno->def", MO, MONum); *OS << "Valno " << VNI->id << " is not defined at " << DefIdx << " in " << LI << '\n'; |
