contrib/gcc/tree-ssa-loop-ivcanon.c

23    and replaces the exit test.  This enables the less powerful rtl
62   UL_SINGLE_ITER,	/* Only loops that exit immediately in the first
70    is the exit edge whose condition is replaced.  */
73 create_canonical_iv (struct loop *loop, edge exit, tree niter)
87   cond = last_stmt (exit->src);
88   in = EDGE_SUCC (exit->src, 0);
89   if (in == exit)
90     in = EDGE_SUCC (exit->src, 1);
107   cmp = (exit->flags & EDGE_TRUE_VALUE) ? EQ_EXPR : NE_EXPR;
136    1) exit condition gets removed (2 insns)
159    EXIT is the exit of the loop that should be eliminated.  */
164 			    edge exit, tree niter,
212   if (exit->flags & EDGE_TRUE_VALUE)
222   cond = last_stmt (exit->src);
241 					       exit, edges_to_remove,
280   edge exit = NULL;
286       exit = loop->single_exit;
287       if (!just_once_each_iteration_p (loop, exit->src))
291 	 we expect (i.e. it returns number of executions of the exit
298       /* If the loop has more than one exit, try checking all of them
301 	niter = find_loop_niter (loop, &exit);
307 	niter = find_loop_niter_by_eval (loop, &exit);
321   if (try_unroll_loop_completely (loops, loop, exit, niter, ul))
325     create_canonical_iv (loop, exit, niter);
401   edge exit;
410      Similarly, if the exit is not dominating, we cannot determine
412   exit = single_dom_exit (loop);
413   if (!exit)
417   if (!number_of_iterations_exit (loop, exit, &niter, false))
420   /* Values of all loop exit phi nodes must be invariants.  */
421   for (phi = phi_nodes (exit->dest); phi; phi = PHI_CHAIN (phi))
426       def = PHI_ARG_DEF_FROM_EDGE (phi, exit);
491 /* Remove LOOP by making it exit in the first iteration.  */
496   edge exit = single_dom_exit (loop), non_exit;
497   tree cond_stmt = last_stmt (exit->src);
501   gcov_type exit_count = exit->count;
503   non_exit = EDGE_SUCC (exit->src, 0);
504   if (non_exit == exit)
505     non_exit = EDGE_SUCC (exit->src, 1);
507   if (exit->flags & EDGE_TRUE_VALUE)
515   /* Let us set the probabilities of the edges coming from the exit block.  */
516   exit->probability = REG_BR_PROB_BASE;
521      the exit needs to be scaled FREQ_IN/FREQ_H times,
524      Everything after the exit has zero frequency.  */
531 	if (body[n_before - 1] == exit->src)
539   /* Number of executions of exit is not changed, thus we need to restore
541   exit->count = exit_count;