From dbcc2e119d57dba1e2f013d304ebfbe894c98106 Mon Sep 17 00:00:00 2001 From: Jakob Stoklund Olesen Date: Tue, 26 Oct 2010 20:21:43 +0000 Subject: [PATCH] Remmeber to print full live interval on verification error. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117391 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/MachineVerifier.cpp | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index 2c2b7fe94d0..b79d68b9d10 100644 --- a/lib/CodeGen/MachineVerifier.cpp +++ b/lib/CodeGen/MachineVerifier.cpp @@ -920,14 +920,15 @@ void MachineVerifier::verifyLiveIntervals() { if (DefVNI != VNI) { report("Live range at def has different valno", MF); *OS << "Valno #" << VNI->id << " is defined at " << VNI->def - << " where valno #" << DefVNI->id << " is live.\n"; + << " where valno #" << DefVNI->id << " is live in " << LI << '\n'; continue; } const MachineBasicBlock *MBB = LiveInts->getMBBFromIndex(VNI->def); if (!MBB) { report("Invalid definition index", MF); - *OS << "Valno #" << VNI->id << " is defined at " << VNI->def << '\n'; + *OS << "Valno #" << VNI->id << " is defined at " << VNI->def + << " in " << LI << '\n'; continue; } @@ -935,13 +936,15 @@ void MachineVerifier::verifyLiveIntervals() { if (VNI->def != LiveInts->getMBBStartIdx(MBB)) { report("PHIDef value is not defined at MBB start", MF); *OS << "Valno #" << VNI->id << " is defined at " << VNI->def - << ", not at the beginning of BB#" << MBB->getNumber() << '\n'; + << ", not at the beginning of BB#" << MBB->getNumber() + << " in " << LI << '\n'; } } else { // Non-PHI def. if (!VNI->def.isDef()) { report("Non-PHI def must be at a DEF slot", MF); - *OS << "Valno #" << VNI->id << " is defined at " << VNI->def << '\n'; + *OS << "Valno #" << VNI->id << " is defined at " << VNI->def + << " in " << LI << '\n'; } const MachineInstr *MI = LiveInts->getInstructionFromIndex(VNI->def); if (!MI) { -- 2.34.1