/// 'Old', change the code and CFG so that it branches to 'New' instead.
void ReplaceUsesOfBlockWith(MachineBasicBlock *Old, MachineBasicBlock *New);
- /// BranchesToLandingPad - The basic block branches only to a landing pad or
- /// to another basic block which branches only to a landing pad. No other
- /// instructions are present other than the unconditional branch.
+ /// BranchesToLandingPad - The basic block is a landing pad or branches only
+ /// to a landing pad. No other instructions are present other than the
+ /// unconditional branch.
bool BranchesToLandingPad(const MachineBasicBlock *MBB) const;
/// CorrectExtraCFGEdges - Various pieces of code can cause excess edges in
addSuccessor(New);
}
-/// BranchesToLandingPad - The basic block branches only to a landing pad or to
-/// another basic block which branches only to a landing pad. No other
-/// instructions are present other than the unconditional branch.
+/// BranchesToLandingPad - The basic block is a landing pad or branches only to
+/// a landing pad. No other instructions are present other than the
+/// unconditional branch.
bool
MachineBasicBlock::BranchesToLandingPad(const MachineBasicBlock *MBB) const {
SmallSet<const MachineBasicBlock*, 32> Visited;
const MachineBasicBlock *CurMBB = MBB;
- while (!Visited.count(CurMBB) && !CurMBB->isLandingPad()) {
- if (CurMBB->size() != 1 || CurMBB->succ_empty() || CurMBB->succ_size() != 1)
+ while (!CurMBB->isLandingPad()) {
+ if (CurMBB->succ_size() != 1)
break;
- const TargetInstrInfo *TII =
- CurMBB->getParent()->getTarget().getInstrInfo();
- if (!TII->isUnpredicatedTerminator(CurMBB->begin()))
- break;
-
- Visited.insert(CurMBB);
+ if (!Visited.insert(CurMBB)) break;
CurMBB = *CurMBB->succ_begin();
}
} else if (MBB == DestB) {
DestB = 0;
++SI;
- } else if (BranchesToLandingPad(MBB) &&
- MBB != OrigDestA && MBB != OrigDestB) {
+ } else if (MBB != OrigDestA && MBB != OrigDestB &&
+ BranchesToLandingPad(MBB)) {
++SI;
} else {
// Otherwise, this is a superfluous edge, remove it.