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()
340         if (UserInst != &InsertPoint && !DT.dominates(&InsertPoint, U))  in isSafeToMoveBefore()
350             DT.dominates(OpInst, &I))  in isSafeToMoveBefore()
352         if (!DT.dominates(OpInst, &InsertPoint))  in isSafeToMoveBefore()
457     if (PDT->dominates(CurBlock, OtherBlock))  in nonStrictlyPostDominate()
475     return DT->dominates(I0, I1);  in isReachedBefore()