gcc/testsuite/gcc.dg/tree-ssa/scev-3.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fgimple -fdump-tree-ivopts" } */
   3
   4 int *a_p;
   5 int a[1000];
   6
   7 void __GIMPLE (startwith ("loop"))
   8 f (int k)
   9 {
  10   int i;
  11   int * _1;
  12
  13 bb_2:
  14   i_5 = k_4(D);
  15   if (i_5 <= 999)
  16     goto bb_4;
  17   else
  18     goto bb_3;
  19
  20 bb_3:
  21   return;
  22
  23 bb_4:
  24   ;
  25
  26 bb_5:
  27   i_12 = __PHI (bb_6: i_9, bb_4: i_5);
  28   _1 = &a[i_12];
  29   a_p = _1;
  30   __MEM <int[1000]> ((int *)&a)[i_12] = 100;
  31   i_9 = i_5 + i_12;
  32   if (i_9 <= 999)
  33     goto bb_6;
  34   else
  35     goto bb_3;
  36
  37 bb_6:
  38   ;
  39   goto bb_5;
  40
  41 }
  42
  43 /* { dg-final { scan-tree-dump-times "&a" 1 "ivopts" } } */