Lines Matching defs:dominates

719       if (DT.dominates(LHead, RHead))
721       assert(DT.dominates(RHead, LHead) &&
2944       assert(DT.dominates(
3693                DT.dominates(L->getHeader(), NestedLoop->getHeader()))) {
4483   return (ScopeA == ScopeB) || DT.dominates(ScopeA, ScopeB) ||
4484     DT.dominates(ScopeB, ScopeA);
5963   if (DT.dominates(LeftEdge, LeftUse) && DT.dominates(RightEdge, RightUse)) {
5969   if (DT.dominates(LeftEdge, RightUse) && DT.dominates(RightEdge, LeftUse)) {
7310       if (!Bound || DT.dominates(Bound, DefI))
7419           DT.dominates(PoisonUser->getParent(), ExitingBB))
8655     assert(SE->DT.dominates(ENT.ExitingBlock, Latch) &&
8724         assert(SE->DT.dominates(ENT.ExitingBlock, L->getLoopLatch()) &&
8886     // If the exit dominates the loop latch, it is a LoopMustExit otherwise it
8894         DT.dominates(ExitBB, Latch)) {
8939   if (!Latch || !DT.dominates(ExitingBlock, Latch))
10702   // A loop's header is defined to be a block that dominates the loop.
11012       assert((DT.dominates(L1->getHeader(), L2->getHeader()) ||
11013               DT.dominates(L2->getHeader(), L1->getHeader())) &&
11572     if (!DT.dominates(CI, Latch->getTerminator()))
11600     // If we have an edge `E` within the loop body that dominates the only
11609       assert(DT.dominates(DominatingEdge, Latch) && "should be!");
11700     if (!DT.dominates(CI, BB))
11713         if (Guard->getFunction() == BB->getParent() && DT.dominates(Guard, BB))
11769   // Now that we found a conditional branch that dominates the loop or controls
12197     if (!L->contains(ContextBB) || !DT.dominates(ContextBB, L->getLoopLatch()))
12208     if (!L->contains(ContextBB) || !DT.dominates(ContextBB, L->getLoopLatch()))
12398       if (!dominates(RHS, IncBB))
13010   // reaches an exiting branch which dominates the latch.  Given that, we can
14044     if (DT.dominates(L->getHeader(), AR->getLoop()->getHeader()))
14132     // This uses a "dominates" query instead of "properly dominates" query
14135     // dominates its entire containing block.
14137     if (!DT.dominates(AR->getLoop()->getHeader(), BB))
14181 bool ScalarEvolution::dominates(const SCEV *S, const BasicBlock *BB) {
15742     if (!SE.DT.dominates(AssumeI, Block))
15754             SE.DT.dominates(Guard, Block))