gcc/gcc/tree-chrec.c

53 #include "tree-ssa-loop-ivopts.h"
54 #include "tree-ssa-loop-niter.h"
118   struct loop *loop0 = get_chrec_loop (poly0);
119   struct loop *loop1 = get_chrec_loop (poly1);
169      do not belong to the same loop nest.  */
206   struct loop *loop0 = get_chrec_loop (poly0);
207   struct loop *loop1 = get_chrec_loop (poly1);
558   struct loop *var_loop = get_loop (cfun, var);
607       /* When the symbols are defined in an outer loop, it is possible
609 	 constants with respect to the varying loop.  */
670    (loop->num, expr) for every loop number of the current_loops an
725    LOOP_NUM.  Mask the evolution of any other loop.  */
731   struct loop *loop = get_loop (cfun, loop_num), *chloop;
740       if (chloop == loop)
747       else if (flow_loop_nested_p (chloop, loop))
748 	/* There is no evolution in this loop.  */
751       else if (flow_loop_nested_p (loop, chloop))
772   struct loop *loop = get_loop (cfun, loop_num), *chloop;
782       if (chloop == loop)
802       else if (flow_loop_nested_p (chloop, loop))
803 	/* There is no evolution part in this loop.  */
808 	  gcc_assert (flow_loop_nested_p (loop, chloop));
844 /* Set or reset the evolution of CHREC to NEW_EVOL in loop LOOP_NUM.
847    impossible to say how many times a loop will execute.  */
854   struct loop *loop = get_loop (cfun, loop_num);
862       && flow_loop_nested_p (loop, get_chrec_loop (chrec)))
1064 /* Return true if CHREC is invariant in loop LOOPNUM, false otherwise. */
1186 /* Converts BASE and STEP of affine scev to TYPE.  LOOP is the loop whose iv
1195 convert_affine_scev (struct loop *loop, tree type,
1256       && scev_probably_wraps_p (*base, *step, at_stmt, loop,
1284       && scev_probably_wraps_p (new_base, new_step, at_stmt, loop, false))
1354   struct loop *loop;
1366   loop = get_chrec_loop (chrec);
1370   if (convert_affine_scev (loop, type, &base, &step, at_stmt,
1372     return build_polynomial_chrec (loop->num, base, step);