Lines Matching defs:dominates

745       if (DT.dominates(LHead, RHead))
747       assert(DT.dominates(RHead, LHead) &&
2945       assert(DT.dominates(
3700                DT.dominates(L->getHeader(), NestedLoop->getHeader()))) {
4505   return (ScopeA == ScopeB) || DT.dominates(ScopeA, ScopeB) ||
4506     DT.dominates(ScopeB, ScopeA);
5982   if (DT.dominates(LeftEdge, LeftUse) && DT.dominates(RightEdge, RightUse)) {
5988   if (DT.dominates(LeftEdge, RightUse) && DT.dominates(RightEdge, LeftUse)) {
7288       if (!Bound || DT.dominates(Bound, DefI))
7382           DT.dominates(PoisonUser->getParent(), ExitingBB))
8594     assert(SE->DT.dominates(ENT.ExitingBlock, Latch) &&
8672         assert(SE->DT.dominates(ENT.ExitingBlock, L->getLoopLatch()) &&
8828     // If the exit dominates the loop latch, it is a LoopMustExit otherwise it
8836         DT.dominates(ExitBB, Latch)) {
8881   if (!Latch || !DT.dominates(ExitingBlock, Latch))
10607   // A loop's header is defined to be a block that dominates the loop.
10898       assert((DT.dominates(L1->getHeader(), L2->getHeader()) ||
10899               DT.dominates(L2->getHeader(), L1->getHeader())) &&
11459     if (!DT.dominates(CI, Latch->getTerminator()))
11487     // If we have an edge `E` within the loop body that dominates the only
11496       assert(DT.dominates(DominatingEdge, Latch) && "should be!");
11588     if (!DT.dominates(CI, BB))
11601         if (Guard->getFunction() == BB->getParent() && DT.dominates(Guard, BB))
11658   // Now that we found a conditional branch that dominates the loop or controls
12027     if (!L->contains(ContextBB) || !DT.dominates(ContextBB, L->getLoopLatch()))
12038     if (!L->contains(ContextBB) || !DT.dominates(ContextBB, L->getLoopLatch()))
12225       if (!dominates(RHS, IncBB))
12874   // reaches an exiting branch which dominates the latch.  Given that, we can
13870     if (DT.dominates(L->getHeader(), AR->getLoop()->getHeader()))
13958     // This uses a "dominates" query instead of "properly dominates" query
13961     // dominates its entire containing block.
13963     if (!DT.dominates(AR->getLoop()->getHeader(), BB))
14007 bool ScalarEvolution::dominates(const SCEV *S, const BasicBlock *BB) {
15440     if (!SE.DT.dominates(AssumeI, Header))
15452             SE.DT.dominates(Guard, Header))