gcc/testsuite/gcc.dg/tree-ssa/scev-5.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 (ssa,startwith ("loop"))
   8 f (int k)
   9 {
  10   long long int i;
  11   int * _1;
  12
  13 __BB(2):
  14   i_5 = (long long int) k_4(D);
  15   if (i_5 <= 999ll)
  16     goto __BB4;
  17   else
  18     goto __BB3;
  19
  20 __BB(3):
  21   return;
  22
  23 __BB(4):
  24   goto __BB5;
  25
  26 __BB(5):
  27   i_12 = __PHI (__BB6: i_9, __BB4: 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 <= 999ll)
  33     goto __BB6;
  34   else
  35     goto __BB3;
  36
  37 __BB(6):
  38   ;
  39   goto __BB5;
  40
  41 }
  42
  43 /* { dg-final { scan-tree-dump-times "&a" 1 "ivopts" } } */