ssa-chrec-15.c   [plain text]


/* { dg-do compile } */ 
/* { dg-options "-O1 -fscalar-evolutions -fdump-tree-scev-details" } */


int main (void)
{
  int a;
  int b;
  int c;
  
  /* Exercises the MINUS_EXPR.  loop_1 runs 50 times.  */
  for (a = 100; a > 50; a--)
    {
      
    }
}

/* The analyzer has to detect the following evolution function:
   a  ->  {100, +, -1}_1
*/

/* { dg-final { scan-tree-dump-times "nb_iterations 50" 1 "scev"} } */