Lines Matching defs:PDT
65 const PostDominatorTree &PDT,
111 const PostDominatorTree &PDT,
137 if (PDT.dominates(CurBlock, IDom)) {
141 } else if (PDT.dominates(CurBlock, BI->getSuccessor(0))) {
147 } else if (PDT.dominates(CurBlock, BI->getSuccessor(1))) {
233 const PostDominatorTree &PDT) {
234 return isControlFlowEquivalent(*I0.getParent(), *I1.getParent(), DT, PDT);
239 const PostDominatorTree &PDT) {
243 if ((DT.dominates(&BB0, &BB1) && PDT.dominates(&BB1, &BB0)) ||
244 (PDT.dominates(&BB0, &BB1) && DT.dominates(&BB1, &BB0)))
256 PDT);
262 PDT);
313 DominatorTree &DT, const PostDominatorTree *PDT,
315 // Skip tests when we don't have PDT or DI
316 if (!PDT || !DI)
334 if (!isControlFlowEquivalent(I, InsertPoint, DT, *PDT))
337 if (isReachedBefore(&I, &InsertPoint, &DT, PDT))
355 if (isReachedBefore(&InsertPoint, &I, &DT, PDT))
413 DominatorTree &DT, const PostDominatorTree *PDT,
419 return isSafeToMoveBefore(I, InsertPoint, DT, PDT, DI,
426 const PostDominatorTree &PDT,
432 if (isSafeToMoveBefore(I, *MovePos, DT, &PDT, &DI))
439 const PostDominatorTree &PDT,
444 if (isSafeToMoveBefore(I, *MovePos, DT, &PDT, &DI))
452 const PostDominatorTree *PDT) {
453 assert(isControlFlowEquivalent(*ThisBlock, *OtherBlock, *DT, *PDT) &&
470 if (PDT->dominates(CurBlock, OtherBlock))
484 const PostDominatorTree *PDT) {
490 return nonStrictlyPostDominate(BB1, BB0, DT, PDT);