Lines Matching refs:dominates

111   assert(DT.dominates(&Dominator, &BB) && "Expecting Dominator to dominate BB");  in collectControlConditions()
126     assert(DT.dominates(&Dominator, IDom) &&  in collectControlConditions()
135     if (PDT.dominates(CurBlock, IDom)) {  in collectControlConditions()
139     } else if (PDT.dominates(CurBlock, BI->getSuccessor(0))) {  in collectControlConditions()
145     } else if (PDT.dominates(CurBlock, BI->getSuccessor(1))) {  in collectControlConditions()
241   if ((DT.dominates(&BB0, &BB1) && PDT.dominates(&BB1, &BB0)) ||  in isControlFlowEquivalent()
242       (PDT.dominates(&BB0, &BB1) && DT.dominates(&BB1, &BB0)))  in isControlFlowEquivalent()
335   if (!DT.dominates(&InsertPoint, &I))  in isSafeToMoveBefore()
338         if (UserInst != &InsertPoint && !DT.dominates(&InsertPoint, U))  in isSafeToMoveBefore()
340   if (!DT.dominates(&I, &InsertPoint))  in isSafeToMoveBefore()
343         if (&InsertPoint == OpInst || !DT.dominates(OpInst, &InsertPoint))  in isSafeToMoveBefore()