Lines Matching full:desta
1030 /// CFG to be inserted. If we have proven that MBB can only branch to DestA and
1031 /// DestB, remove any other MBB successors from the CFG. DestA and DestB can be
1034 /// Besides DestA and DestB, retain other edges leading to LandingPads
1036 /// Note it is possible that DestA and/or DestB are LandingPads.
1037 bool MachineBasicBlock::CorrectExtraCFGEdges(MachineBasicBlock *DestA,
1040 // The values of DestA and DestB frequently come from a call to the
1044 // 1. If both DestA and DestB are null, then the block ends with no branches
1046 // 2. If DestA is set, DestB is null, and isCond is false, then the block ends
1048 // 3. If DestA is set, DestB is null, and isCond is true, then the block ends
1050 // 4. If DestA and DestB is set and isCond is true, then the block ends with a
1051 // conditional branch followed by an unconditional branch. DestA is the
1059 if (DestA == 0 && DestB == 0) {
1061 DestA = FallThru;
1063 } else if (DestA != 0 && DestB == 0) {
1068 assert(DestA && DestB && isCond &&
1079 (MBB != DestA && MBB != DestB && !MBB->isLandingPad())) {
