Print out the connected components in the verifier after complaining about their

multiplicity.

llvm-svn: 117630
This commit is contained in:
Jakob Stoklund Olesen 2010-10-29 00:40:57 +00:00
parent a2578fe7f3
commit b98755472e
2 changed files with 16 additions and 3 deletions

View File

@ -578,10 +578,15 @@ namespace llvm {
/// Return the number of connected components.
unsigned Classify(const LiveInterval *LI);
// Distribute values in LIV[0] into a separate LiveInterval for each connected
// component. LIV must have a LiveInterval for each connected component.
// The LiveIntervals in Liv[1..] must be empty.
/// getEqClass - Classify creates equivalence classes numbered 0..N. Return
/// the equivalence class assigned the VNI.
unsigned getEqClass(const VNInfo *VNI) { return eqClass_[VNI->id]; }
/// Distribute - Distribute values in LIV[0] into a separate LiveInterval
/// for each connected component. LIV must have a LiveInterval for each
/// connected component. The LiveIntervals in Liv[1..] must be empty.
void Distribute(LiveInterval *LIV[]);
};
}

View File

@ -1080,6 +1080,14 @@ void MachineVerifier::verifyLiveIntervals() {
if (NumComp > 1) {
report("Multiple connected components in live interval", MF);
*OS << NumComp << " components in " << LI << '\n';
for (unsigned comp = 0; comp != NumComp; ++comp) {
*OS << comp << ": valnos";
for (LiveInterval::const_vni_iterator I = LI.vni_begin(),
E = LI.vni_end(); I!=E; ++I)
if (comp == ConEQ.getEqClass(*I))
*OS << ' ' << (*I)->id;
*OS << '\n';
}
}
}
}