Home | History | Annotate | Download | only in gcc

Lines Matching refs:latch

39 /* Given LATCH, the latch block in a loop, see if the shape of the
40 path reaching LATCH is suitable for being split by duplication.
45 find_block_to_duplicate_for_splitting_paths (basic_block latch)
47 /* We should have simple latches at this point. So the latch should
48 have a single successor. This implies the predecessor of the latch
51 the latch have a single predecessor too. */
52 if (single_succ_p (latch) && single_pred_p (latch))
54 basic_block bb = get_immediate_dominator (CDI_DOMINATORS, latch);
55 gcc_assert (single_pred_edge (latch)->src == bb);
63 /* The immediate dominator of the latch must end in a conditional. */
71 IF-THEN-ELSE) and two successors (the latch and exit) and that
105 pass control outside the loop or to the loop latch.
145 its size, false otherwise. BB will always be a loop latch block.
153 small latches. A latch with just a conditional branch is ideal.
156 feed statements in the latch and allow statements in the latch to
419 /* If the immediate dominator of the latch of the loop is
420 block with conditional branch, then the loop latch is
444 Block 8 is the latch. We're going to make copies of block 6 (9 & 10)
488 path to the loop latch. */
490 = find_block_to_duplicate_for_splitting_paths (loop->latch);
496 predecessor as is. This will split the path leading to the latch