6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-01 15:11:24 +00:00
Code Issues Projects Releases Wiki Activity

Remove minimal CFG sanity checks from verifier.

Browse Source 
These checks would often trigger on unreachable statements inserted by
bugpoint, leading it astray.

It would be nice if we could distinguish unreachable blocks from errors.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91923 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2009-12-22 21:52:27 +00:00
parent 5711564b09
commit 18ea3a1551
1 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
lib/CodeGen/MachineVerifier.cpp
View File

@ -365,24 +365,6 @@ void
MachineVerifier::visitMachineBasicBlockBefore(const MachineBasicBlock *MBB) {
const TargetInstrInfo *TII = MF->getTarget().getInstrInfo();
// Start with minimal CFG sanity checks.
MachineFunction::const_iterator MBBI = MBB;
++MBBI;
if (MBBI != MF->end()) {
// Block is not last in function.
if (!MBB->isSuccessor(MBBI)) {
// Block does not fall through.
if (MBB->empty()) {
report("MBB doesn't fall through but is empty!", MBB);
}
}
} else {
// Block is last in function.
if (MBB->empty()) {
report("MBB is last in function but is empty!", MBB);
}
}
// Call AnalyzeBranch. If it succeeds, there several more conditions to check.
MachineBasicBlock *TBB = 0, *FBB = 0;
SmallVector<MachineOperand, 4> Cond;