Lines Matching refs:DT
137 const DominatorTree *DT, const LoopInfo *LI) { in isReachableImpl() argument
140 if (DT) { in isReachableImpl()
142 if (!DT->isReachableFromEntry(BB)) { in isReachableImpl()
143 DT = nullptr; in isReachableImpl()
152 DT = nullptr; in isReachableImpl()
183 if (DT) { in isReachableImpl()
185 return DT->dominates(BB, StopBB); in isReachableImpl()
241 const SmallPtrSetImpl<BasicBlock *> *ExclusionSet, const DominatorTree *DT, in isPotentiallyReachableFromMany() argument
244 Worklist, SingleEntrySet<const BasicBlock *>(StopBB), ExclusionSet, DT, in isPotentiallyReachableFromMany()
251 const SmallPtrSetImpl<BasicBlock *> *ExclusionSet, const DominatorTree *DT, in isManyPotentiallyReachableFromMany() argument
254 Worklist, StopSet, ExclusionSet, DT, LI); in isManyPotentiallyReachableFromMany()
259 const SmallPtrSetImpl<BasicBlock *> *ExclusionSet, const DominatorTree *DT, in isPotentiallyReachable() argument
264 if (DT) { in isPotentiallyReachable()
265 if (DT->isReachableFromEntry(A) && !DT->isReachableFromEntry(B)) in isPotentiallyReachable()
268 if (A->isEntryBlock() && DT->isReachableFromEntry(B)) in isPotentiallyReachable()
270 if (B->isEntryBlock() && DT->isReachableFromEntry(A)) in isPotentiallyReachable()
278 return isPotentiallyReachableFromMany(Worklist, B, ExclusionSet, DT, LI); in isPotentiallyReachable()
283 const SmallPtrSetImpl<BasicBlock *> *ExclusionSet, const DominatorTree *DT, in isPotentiallyReachable() argument
319 ExclusionSet, DT, LI); in isPotentiallyReachable()
323 A->getParent(), B->getParent(), ExclusionSet, DT, LI); in isPotentiallyReachable()