aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-25.c
blob: 43b1dc5bd37168ad4a4f65f93d22b9b400e41933 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/* APPLE LOCAL file lno */
/* { dg-do compile } */ 
/* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */


int bar (void);

int foo ()
{
  int c = 7;
  
  /* This exercises the initial condition propagator: 
     Interval Copy Constant Propagation (ICCP).  */
  if (bar ())
    c = 2;
  else
    c += 3;
  
  while (c)
    {
      c += 5;
    }
}

/* 
   c  ->  {[2, 10], +, 5}_1
*/

/* FIXME. */