Lines Matching refs:TI

449   void getFeasibleSuccessors(TerminatorInst &TI, SmallVector<bool, 16> &Succs);
475 void visitTerminatorInst(TerminatorInst &TI);
522 void SCCPSolver::getFeasibleSuccessors(TerminatorInst &TI,
524 Succs.resize(TI.getNumSuccessors());
525 if (BranchInst *BI = dyn_cast<BranchInst>(&TI)) {
546 if (isa<InvokeInst>(TI)) {
552 if (SwitchInst *SI = dyn_cast<SwitchInst>(&TI)) {
563 Succs.assign(TI.getNumSuccessors(), true);
572 if (isa<IndirectBrInst>(&TI)) {
574 Succs.assign(TI.getNumSuccessors(), true);
579 dbgs() << "Unknown terminator instruction: " << TI << '\n';
595 TerminatorInst *TI = From->getTerminator();
596 if (BranchInst *BI = dyn_cast<BranchInst>(TI)) {
613 if (isa<InvokeInst>(TI))
616 if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) {
631 if (isa<IndirectBrInst>(TI))
635 dbgs() << "Unknown terminator instruction: " << *TI << '\n';
743 void SCCPSolver::visitTerminatorInst(TerminatorInst &TI) {
745 getFeasibleSuccessors(TI, SuccFeasible);
747 BasicBlock *BB = TI.getParent();
752 markEdgeExecutable(BB, TI.getSuccessor(i));
1460 TerminatorInst *TI = BB->getTerminator();
1461 if (BranchInst *BI = dyn_cast<BranchInst>(TI)) {
1470 markEdgeExecutable(BB, TI->getSuccessor(1));
1478 ConstantInt::getFalse(TI->getContext()));
1482 if (SwitchInst *SI = dyn_cast<SwitchInst>(TI)) {
1794 TerminatorInst *TI = BB->getTerminator();
1795 for (unsigned i = 0, e = TI->getNumSuccessors(); i != e; ++i) {
1796 BasicBlock *Succ = TI->getSuccessor(i);
1798 TI->getSuccessor(i)->removePredecessor(BB);
1800 if (!TI->use_empty())
1801 TI->replaceAllUsesWith(UndefValue::get(TI->getType()));
1802 TI->eraseFromParent();
1874 TerminatorInst *TI = I->getParent()->getTerminator();
1875 BranchInst::Create(TI->getSuccessor(0), TI);
1878 for (unsigned i = 1, e = TI->getNumSuccessors(); i != e; ++i)
1879 TI->getSuccessor(i)->removePredecessor(TI->getParent());
1882 TI->eraseFromParent();