llvm-gcc-4.0/gcc/testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-39.c

/* APPLE LOCAL file lno */
/* { dg-do compile } */ 
/* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */


int foo (int ParmN)
{
  int a = 3;
  int b = 2;
  int d = -5;
  
  while (a)
    {
      b += 25;
      a += b;
      
      for (d = -5; d < 0; d++)
	{
	  /* Exercises the build_polynomial_evolution_in_loop in the following context:
	     (add_to_evolution 
	       loop_num = 2
	       chrec_before = {3, +, {27, +, 25}_1}_1
	       to_add = ParmN_15
	       res = {{3, +, {27, +, 25}_1}_1, +, ParmN_15}_2
	     )
	     
	     Then it exercises the add_expr_to_loop_evolution in the following context:
	     (add_to_evolution 
	       loop_num = 1
	       chrec_before = {{3, +, {27, +, 25}_1}_1, +, ParmN_15}_2
	       to_add = ParmN_15 * 5
	       res = {{3, +, {ParmN_15 * 5 + 27, +, 25}_1}_1, +, ParmN_15}_2
	     )
	  */
	  a += ParmN;
	}
    }
}

/* 
   b  ->  {2, +, 25}_1
   d  ->  {-5, +, 1}_2
   a  ->  {{3, +, {ParmN * 5 + 27, +, 25}_1}_1, +, ParmN}_2
*/

/* FIXME. */