diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-10-26 20:21:43 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2010-10-26 20:21:43 +0000 |
commit | dbcc2e119d57dba1e2f013d304ebfbe894c98106 (patch) | |
tree | ca68fc2500cf7a5a5e53c85b957a60564428598d /lib | |
parent | 61e3b91da711659c3cca5c4c6026a4b2aea322b4 (diff) |
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
Diffstat (limited to 'lib')
-rw-r--r-- | lib/CodeGen/MachineVerifier.cpp | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/CodeGen/MachineVerifier.cpp b/lib/CodeGen/MachineVerifier.cpp index 2c2b7fe94d..b79d68b9d1 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) { |