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"))
f(int k)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" } } */
44