ssa-chrec-01.c

来自「Mac OS X 10.4.9 for x86 Source Code gcc」· C语言 代码 · 共 37 行

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

int main(void)
{
  unsigned a;
  int b;
  int c;
  
  /* loop_1 runs exactly 4 times. */
  for (a = 22; a < 50; a+=1)
    {
      /* loop_2 runs exactly 6 times.  On exit, the variable B is equal to 53.  */
      for (b = 23; b < 50; b+=5)
	{
	  ++a;

	  /* loop_3 runs {{77, +, -7}_1, +, -1}_2 times.  */
	  for (c = a; c < 100; c++)
	    {
	      
	    }
	}
    }
}

/* The analyzer has to detect the following evolution functions:
   b  ->  {23, +, 5}_2
   a  ->  {{22, +, 7}_1, +, 1}_2
   c  ->  {{{23, +, 7}_1, +, 1}_2, +, 1}_3
*/
/* { dg-final { scan-tree-dump-times "set_nb_iterations_in_loop = 4" 1 "lptest"} } */
/* { dg-final { scan-tree-dump-times "set_nb_iterations_in_loop = 6" 1 "lptest"} } */