Verify that live intervals are connected. If there are multiple connected

components, each should get its own virtual register.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117407 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2010-10-26 22:36:07 +00:00
parent f1354ae95a
commit 501dc42245

View File

@ -167,7 +167,7 @@ namespace {
// Analysis information if available
LiveVariables *LiveVars;
const LiveIntervals *LiveInts;
LiveIntervals *LiveInts;
SlotIndexes *Indexes;
void visitMachineFunctionBefore();
@ -1067,6 +1067,14 @@ void MachineVerifier::verifyLiveIntervals() {
++MFI;
}
}
// Check the LI only has one connected component.
ConnectedVNInfoEqClasses ConEQ(*LiveInts);
unsigned NumComp = ConEQ.Classify(&LI);
if (NumComp > 1) {
report("Multiple connected components in live interval", MF);
*OS << NumComp << " components in " << LI << '\n';
}
}
}