Displaying 1 result from an estimated 1 matches for "visitmachinebasicblockbefor".
Did you mean:
visitmachinebasicblockbefore
2014 Nov 06
2
[LLVMdev] Should the MachineVerifier accept a MBB with a single (landing pad) successor?
...zations
- if the normal successor to an invoke BB is unreachable, it seems
reasonable to only have 1 successor, the landing pad.
Hence my simple change, making the verifier accept it:
--- c/lib/CodeGen/MachineVerifier.cpp
+++ w/lib/CodeGen/MachineVerifier.cpp
@@ -590,7 +590,11 @@
MachineVerifier::visitMachineBasicBlockBefore(const MachineBasicBlock
*MBB) {
}
} else if (TBB && !FBB && Cond.empty()) {
// Block unconditionally branches somewhere.
- if (MBB->succ_size() != 1+LandingPadSuccs.size()) {
+ // If the block has exactly one successor, that happens to be a
+ //...