gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-42.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fgimple -O -fdump-tree-ccp1" } */
   3
   4 __GIMPLE (ssa,startwith("ccp")) int foo (int n)
   5 {
   6   int i;
   7   int j;
   8
   9   __BB(2):
  10     i_1 = 0;
  11     goto __BB3;
  12
  13   __BB(3):
  14     i_2 = __PHI (__BB2: i_1, __BB3: i_4);
  15     j_3 = i_2;
  16     i_4 = i_2 + 1;
  17     if (i_4 < n_5(D))
  18       goto __BB3;
  19     else
  20       goto __BB4;
  21
  22   __BB(4):
  23     return j_3;
  24 }
  25
  26 /* { dg-final { scan-tree-dump "return i_2;" "ccp1" } } */