ssa-chrec-49.c

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

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

int 
foo (int *c)
{
  int i = 0;
  int j = 10;
  
  while (1)
    {
      if (i == j)
	break;
      
      i++;
      j--;
    }
  
  return j;
}

/* i  ->  {0, +, 1}_1  */
/* j  ->  {10, +, -1}_1  */

/* FIXME. */