Lines Matching refs:dominates
113 assert(DT.dominates(&Dominator, &BB) && "Expecting Dominator to dominate BB"); in collectControlConditions()
128 assert(DT.dominates(&Dominator, IDom) && in collectControlConditions()
137 if (PDT.dominates(CurBlock, IDom)) { in collectControlConditions()
141 } else if (PDT.dominates(CurBlock, BI->getSuccessor(0))) { in collectControlConditions()
147 } else if (PDT.dominates(CurBlock, BI->getSuccessor(1))) { in collectControlConditions()
243 if ((DT.dominates(&BB0, &BB1) && PDT.dominates(&BB1, &BB0)) || in isControlFlowEquivalent()
244 (PDT.dominates(&BB0, &BB1) && DT.dominates(&BB1, &BB0))) in isControlFlowEquivalent()
345 if (UserInst != &InsertPoint && !DT.dominates(&InsertPoint, U)) { in isSafeToMoveBefore()
350 DT.dominates(&I, UserInst)) in isSafeToMoveBefore()
363 DT.dominates(OpInst, &I)) in isSafeToMoveBefore()
365 if (!DT.dominates(OpInst, &InsertPoint)) in isSafeToMoveBefore()
470 if (PDT->dominates(CurBlock, OtherBlock)) in nonStrictlyPostDominate()
488 return DT->dominates(I0, I1); in isReachedBefore()