search for: bbinfo

...&Br) { MachineInstr *MI = Br.MI; MachineBasicBlock *MBB = MI->getParent(); if (!isThumb1) llvm_unreachable("fixupUnconditionalBr is Thumb1 only!"); // Use BL to implement far jump. Br.MaxDisp = (1 << 21) * 2; MI->setDesc(TII->get(ARM::tBfar)); BBInfo[MBB->getNumber()].Size += 2; adjustBBOffsetsAfter(MBB); HasFarJump = true; ++NumUBrFixed; DEBUG(dbgs() << " Changed B to long jump " << *MI); return true; }

...*MI = Br.MI; > MachineBasicBlock *MBB = MI->getParent(); > if (!isThumb1) > llvm_unreachable("fixupUnconditionalBr is Thumb1 only!"); > > // Use BL to implement far jump. > Br.MaxDisp = (1 << 21) * 2; > MI->setDesc(TII->get(ARM::tBfar)); > BBInfo[MBB->getNumber()].Size += 2; > adjustBBOffsetsAfter(MBB); > HasFarJump = true; > ++NumUBrFixed; > > DEBUG(dbgs() << " Changed B to long jump " << *MI); > > return true; > } > > _______________________________________________ > LLVM...

...lock *MBB = MI->getParent(); >> if (!isThumb1) >> llvm_unreachable("fixupUnconditionalBr is Thumb1 only!"); >> >> // Use BL to implement far jump. >> Br.MaxDisp = (1 << 21) * 2; >> MI->setDesc(TII->get(ARM::tBfar)); >> BBInfo[MBB->getNumber()].Size += 2; >> adjustBBOffsetsAfter(MBB); >> HasFarJump = true; >> ++NumUBrFixed; >> >> DEBUG(dbgs() << " Changed B to long jump " << *MI); >> >> return true; >> } >> >> ________________...

...es later transformations. Specifically, the issue is that BB#1 still lists BB#3 as a successor, but this is not true. Looking at IfConversion.cpp, I see this function: /// RemoveExtraEdges - Remove true / false edges if either / both are no longer /// successors. void IfConverter::RemoveExtraEdges(BBInfo &BBI) { MachineBasicBlock *TBB = NULL, *FBB = NULL; SmallVector<MachineOperand, 4> Cond; if (!TII->AnalyzeBranch(*BBI.BB, TBB, FBB, Cond)) BBI.BB->CorrectExtraCFGEdges(TBB, FBB, !Cond.empty()); } and I think that this function is supposed to clean up the successors of BB#...