dist/gcc/tree-ssa-loop-manip.c

187    ALL_EXITS[I] is the set of all basic blocks that exit loop I.
189    Compute the subset of LOOP_EXITS that exit the loop containing DEF_BB
287 add_exit_phi (basic_block exit, tree var)
299       FOR_EACH_EDGE (e, ei, exit->preds)
309   phi = create_phi_node (NULL_TREE, exit);
311   FOR_EACH_EDGE (e, ei, exit->preds)
321 /* Add exit phis for VAR that is used in LIVEIN.
344 /* Add exit phis for the names marked in NAMES_TO_RENAME.
360 /* Fill the array of bitmaps LOOP_EXITS with all loop exit edge targets.  */
449    need exit PHIs in NEED_PHIS.  */
480    used to USE_BLOCKS.  Record the SSA names that will need exit PHIs in
505    USE_BLOCKS.  Record the SSA names that will need exit PHIs in NEED_PHIS.  */
537    USE_BLOCKS.  Record the SSA names that will need exit PHIs in NEED_PHIS.  */
601       until function exit.
793 /* Split loop exit edge EXIT.  The things are a bit complicated by a need to
799 split_loop_exit_edge (edge exit, bool copy_constants_p)
801   basic_block dest = exit->dest;
802   basic_block bb = split_edge (exit);
827       add_phi_arg (new_phi, name, exit, locus);
844    variables incremented just before exit condition of a LOOP.  */
851   edge exit;
862   exit = EDGE_SUCC (bb, 0);
863   if (exit->dest == loop->latch)
864     exit = EDGE_SUCC (bb, 1);
866   if (flow_bb_inside_loop_p (loop, exit->dest))
873    (just before the exit condition if it is available and latch block is empty,
961   edge exit;
967      exit.  */
969   exit = single_dom_exit (loop);
970   if (!exit)
973   if (!number_of_iterations_exit (loop, exit, niter, false)
1002    how the exit from the unrolled loop should be controlled.  */
1176    EXIT is the exit of the loop to that DESC corresponds.
1191    becomes (with possibly the exit conditions formulated a bit differently,
1234 				edge exit, class tree_niter_desc *desc,
1278      correct, we would need to change the probability of the exit edge of the
1280      of this change (scale the frequencies of blocks before and after the exit
1291   /* Prepare the cfg and update the phi nodes.  Move the loop exit to the
1298   /* Since the exit edge will be removed, the frequency of all the blocks
1300      1 / (1 - exit->probability).  */
1301   if (exit->probability.initialized_p ())
1302     scale_dominated_blocks_in_loop (loop, exit->src,
1308 					 (exit->probability));
1319   /* Set the probability of new exit to the same of the old one.  Fix
1321      1 - exit->probability.  */
1322   new_exit->probability = exit->probability;
1324   new_nonexit->probability = exit->probability.invert ();
1368   remove_path (exit);
1394      exit edge.  */
1422      exit instruction.  */
1444 		  edge exit, class tree_niter_desc *desc)
1446   tree_transform_and_unroll_loop (loop, factor, exit, desc,
1534   edge exit = single_dom_exit (loop);
1584   stmt = as_a <gcond *> (last_stmt (exit->src));
1585   /* Make the loop exit if the control condition is not satisfied.  */
1586   if (exit->flags & EDGE_TRUE_VALUE)
1590       extract_true_false_edges_from_block (exit->src, &te, &fe);