RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

MachineVerifier: Check that SlotIndex MBBIndexList is sorted.

Browse Source 
This introduces a check that the MBBIndexList is sorted as proposed in
http://reviews.llvm.org/D12443 but split up into a separate commit.

llvm-svn: 247166
This commit is contained in:
Matthias Braun 2015-09-09 17:49:46 +00:00
parent bcf29c51fa
commit 364e6db7a4
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
lib/CodeGen/MachineVerifier.cpp
View File

@ -236,6 +236,8 @@ namespace {
void verifyLiveRange(const LiveRange&, unsigned, unsigned LaneMask = 0);
void verifyStackFrame();
void verifySlotIndexes() const;
};
struct MachineVerifierPass : public MachineFunctionPass {
@ -273,6 +275,19 @@ void MachineFunction::verify(Pass *p, const char *Banner) const {
.runOnMachineFunction(const_cast<MachineFunction&>(*this));
}
void MachineVerifier::verifySlotIndexes() const {
if (Indexes == nullptr)
return;
// Ensure the IdxMBB list is sorted by slot indexes.
SlotIndex Last;
for (SlotIndexes::MBBIndexIterator I = Indexes->MBBIndexBegin(),
E = Indexes->MBBIndexEnd(); I != E; ++I) {
assert(!Last.isValid() || I->first > Last);
Last = I->first;
}
}
bool MachineVerifier::runOnMachineFunction(MachineFunction &MF) {
foundErrors = 0;
@ -295,6 +310,8 @@ bool MachineVerifier::runOnMachineFunction(MachineFunction &MF) {
Indexes = PASS->getAnalysisIfAvailable<SlotIndexes>();
}
verifySlotIndexes();
visitMachineFunctionBefore();
for (MachineFunction::const_iterator MFI = MF.begin(), MFE = MF.end();
MFI!=MFE; ++MFI) {