1/* { dg-do compile } */
2/* { dg-options "-O3 -fipa-cp -fipa-cp-clone -fdump-ipa-cp -fno-early-inlining"  } */
3/* { dg-add-options bind_pic_locally } */
4
5extern int get_stuff (int);
6extern void do_stuff (int);
7extern void do_stuff2 (int);
8extern void do_other_stuff (void);
9extern int get_element (int, int, int);
10extern int adjust (int, int, int, int);
11
12extern int count;
13
14int
15foo (int s, int p)
16{
17  int c, r = 0;
18
19  for (c = 0 ; c < count; c++)
20    {
21      r += get_stuff (s);
22      /* The following is just something big that can go away.  */
23      if (p != 0)
24	{
25	  int a[64][64];
26	  int i, j, k;
27
28	  for (i = 0; i < 64; i++)
29	    for (j = 0; j < 64; j++)
30	      a[i][j] = get_element (p + c, i, j);
31
32	  for (k = 0; k < 4; k++)
33	    {
34	      r = r / 2;
35
36	      for (i = 1; i < 63; i++)
37		for (j = 62; j > 0; j--)
38		  a[i][j] += adjust (a[i-1][j], a[i][j-1],
39				     a[i+1][j], a[i][j+1]);
40
41	      for (i = 4; i < 64; i += 4)
42		for (j = 4; j < 64; j += 4)
43		  r += a[i][j] / 4;
44	    }
45	}
46    }
47  return r;
48}
49
50int
51bar (int p, int q)
52{
53  if (q > 0)
54    do_stuff (q);
55  else
56    do_stuff (-q);
57
58  if (q % 2)
59    do_stuff2 (2 * q);
60  else
61    do_stuff2 (2 * (q + 1));
62
63  return foo (4, p);
64}
65
66int
67bah (int p, int q)
68{
69  int i, j;
70
71  while (q < -20)
72    q += get_stuff (-q);
73
74  for (i = 0; i < 36; i++)
75    for (j = 0; j < 36; j++)
76      do_stuff (get_stuff (q * i + 2));
77
78  bar (p, q);
79}
80
81int
82top1 (int q)
83{
84  do_other_stuff ();
85  return bah (0, q);
86}
87
88int
89top2 (int q)
90{
91  do_stuff (200);
92  do_other_stuff ();
93  return bah (16, q);
94}
95
96/* { dg-final { scan-ipa-dump-times "Creating a specialized node of foo" 1 "cp" } } */
97/* { dg-final { scan-ipa-dump-times "replacing param .. p with const 0" 3 "cp"  } } */
98/* { dg-final { scan-ipa-dump "replacing param .0 s with const 4" "cp"  } } */
99/* { dg-final { cleanup-ipa-dump "cp" } } */
100