Home | History | Annotate | Download | only in Scalar

Lines Matching defs:header

200 /// to the loop header via an edge from Pred.  Returns a conservative correct
202 static bool containsUnconditionalCallSafepoint(Loop *L, BasicBlock *Header,
206 // there's a call safepoint along every edge between Header and Pred.
208 // instruction in a block which is dominated by the Header and dominates the
211 // checking the Pred and Header blocks themselves. This may be due to the
215 assert(DT.dominates(Header, Pred) && "loop latch not dominated by header?");
231 if (Current == Header)
258 // If this is a conditional branch to the header with the alternate path
320 // Loop through all predecessors of the loop header and identify all
324 BasicBlock *header = L->getHeader();
329 DT.recalculate(*header->getParent());
332 for (BasicBlock *pred : predecessors(header)) {
349 containsUnconditionalCallSafepoint(L, header, pred, DT)) {
370 // variables) and branches to the true header
588 // it. Its possible that we have a) duplicate edges to the same header
604 for (BasicBlock *Header : Headers) {
605 BasicBlock *NewBB = SplitEdge(Term->getParent(), Header, nullptr);