Lines Matching refs:dominates
208 // instruction in a block which is dominated by the Header and dominates the
215 assert(DT.dominates(Header, Pred) && "loop latch not dominated by header?");
389 // can place it as late as we want as long as it dominates all calls
594 if (DT.dominates(Succ, Term->getParent())) {
781 assert(DT.dominates(before, after) && "trivially true");
