RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-22 11:55:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Adjust the MachineBasicBlock verifier rules to be more

Browse Source 
tolerant of blocks that end with "unreachable".

llvm-svn: 80270
This commit is contained in:
Dan Gohman 2009-08-27 18:14:26 +00:00
parent 19db6e3a81
commit 3df56c2002
1 changed files with 14 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
lib/CodeGen/MachineVerifier.cpp
View File

@ -312,14 +312,14 @@ MachineVerifier::visitMachineBasicBlockBefore(const MachineBasicBlock *MBB)
if (MBB->empty()) {
report("MBB doesn't fall through but is empty!", MBB);
}
} else {
// Block falls through.
if (!MBB->empty() && MBB->back().getDesc().isBarrier()) {
report("MBB falls through but ends with a barrier instruction!", MBB);
}
if (TII->BlockHasNoFallThrough(*MBB)) {
}
if (TII->BlockHasNoFallThrough(*MBB)) {
if (MBB->empty()) {
report("TargetInstrInfo says the block has no fall through, but the "
"CFG has a fall-through edge!", MBB);
"block is empty!", MBB);
} else if (!MBB->back().getDesc().isBarrier()) {
report("TargetInstrInfo says the block has no fall through, but the "
"block does not end in a barrier!", MBB);
}
}
} else {
@ -341,10 +341,13 @@ MachineVerifier::visitMachineBasicBlockBefore(const MachineBasicBlock *MBB)
MachineFunction::const_iterator MBBI = MBB;
++MBBI;
if (MBBI == MF->end()) {
// TODO: This condition is sometimes reached for functions which
// make noreturn calls or contain unreachable. Should AnalyzeBranch
// be changed to handle such cases differently?
report("MBB falls through out of function!", MBB);
// It's possible that the block legitimately ends with a noreturn
// call or an unreachable, in which case it won't actually fall
// out the bottom of the function.
} else if (MBB->succ_empty()) {
// It's possible that the block legitimately ends with a noreturn
// call or an unreachable, in which case it won't actuall fall
// out of the block.
} else if (MBB->succ_size() != 1) {
report("MBB exits via unconditional fall-through but doesn't have "
"exactly one CFG successor!", MBB);