Lines Matching refs:DestA
694 /// CFG to be inserted. If we have proven that MBB can only branch to DestA and
695 /// DestB, remove any other MBB successors from the CFG. DestA and DestB can be
698 /// Besides DestA and DestB, retain other edges leading to LandingPads
700 /// Note it is possible that DestA and/or DestB are LandingPads.
701 bool MachineBasicBlock::CorrectExtraCFGEdges(MachineBasicBlock *DestA,
704 // The values of DestA and DestB frequently come from a call to the
708 // 1. If both DestA and DestB are null, then the block ends with no branches
710 // 2. If DestA is set, DestB is null, and isCond is false, then the block ends
712 // 3. If DestA is set, DestB is null, and isCond is true, then the block ends
714 // 4. If DestA and DestB is set and isCond is true, then the block ends with a
715 // conditional branch followed by an unconditional branch. DestA is the
723 if (DestA == 0 && DestB == 0) {
725 DestA = FallThru;
727 } else if (DestA != 0 && DestB == 0) {
732 assert(DestA && DestB && isCond &&
743 (MBB != DestA && MBB != DestB && !MBB->isLandingPad())) {
