1 /* Verify that simple indirect calls are inlined even without early
2 inlining.. */
3 /* { dg-do compile } */
4 /* { dg-options "-O3 -fdump-ipa-inline -fno-early-inlining -fno-ipa-icf" } */
5
6 struct S
7 {
8 int i;
9 void (*f)(struct S *);
10 unsigned u;
11 };
12
13 struct U
14 {
15 struct U *next;
16 struct S s;
17 short a[8];
18 };
19
20 extern void non_existent(struct S *p, int);
21
22 /* ----- 1 ----- */
23
24 static void hooray1 (struct S *p)
25 {
26 non_existent (p, 1);
27 }
28
29 static void hiphip1 (struct S *p)
30 {
31 p->f (p);
32 }
33
34 int test1 (void)
35 {
36 struct S s;
37 s.i = 1234;
38 s.f = hooray1;
39 s.u = 1001;
40 hiphip1 (&s);
41 return 0;
42 }
43
44 /* ----- 2 ----- */
45
46 struct S *gp;
47
48 static void hooray2 (struct S *p)
49 {
50 non_existent (p, 2);
51 }
52
53 static void hip2 (struct S *p)
54 {
55 p->f (p);
56 }
57
58 static void hiphip2 (struct S *p)
59 {
60 hip2 (p);
61 }
62
63 int test2 (void)
64 {
65 struct S *p = gp;
66 p->i = 2341;
67 p->f = hooray2;
68 p->u = 1002;
69 hiphip2 (p);
70 return 0;
71 }
72
73 /* ----- 3 ----- */
74
75 static void hooray3 (struct S *p)
76 {
77 non_existent (p, 2);
78 }
79
80 static void hip3 (struct S *p)
81 {
82 p->f (p);
83 }
84
85 static __attribute__ ((flatten)) void hiphip3 (struct S *p)
86 {
87 hip3 (p);
88 }
89
90 int test3 (void)
91 {
92 struct S *p = gp;
93 p->i = 2341;
94 p->f = hooray3;
95 p->u = 1003;
96 hiphip3 (p);
97 return 0;
98 }
99
100 /* ----- 4 ----- */
101
102 static void hooray4 (struct S *p)
103 {
104 non_existent (p, 3);
105 }
106
107 static void hiphip4 (struct S s)
108 {
109 s.f (&s);
110 }
111
112 int test4(void)
113 {
114 struct S s;
115 s.i = 3412;
116 s.f = hooray4;
117 s.u = 1004;
118 hiphip4 (s);
119 return 0;
120 }
121
122 /* ----- 5 ----- */
123
124 struct U *gu;
125
126 static void hooray5 (struct S *p)
127 {
128 non_existent (p, 5);
129 }
130
131 static void hip5 (struct S *p)
132 {
133 p->f (p);
134 }
135
136 static void hiphip5 (struct U *u)
137 {
138 hip5 (&u->s);
139 }
140
141 int test5 (void)
142 {
143 struct U *u = gu;
144 u->next = u;
145 u->s.i = 9876;
146 u->s.f = hooray5;
147 u->s.u = 1005;
148 hiphip5 (u);
149 return 0;
150 }
151
152 /* ----- 6 ----- */
153
154 static void hooray6 (struct S *p)
155 {
156 non_existent (p, 6);
157 }
158
159 static void hip6 (struct S *p)
160 {
161 p->f (p);
162 }
163
164 static __attribute__ ((flatten)) void hiphip6 (struct U *u)
165 {
166 hip6 (&u->s);
167 }
168
169 int test6 (void)
170 {
171 struct U *u = gu;
172 u->next = u;
173 u->s.i = 9876;
174 u->s.f = hooray6;
175 u->s.u = 1006;
176 hiphip6 (u);
177 return 0;
178 }
179
180 /* ----- 7 ----- */
181
182 struct S **gdp;
183
184
185 static void hooray7 (struct S *p)
186 {
187 non_existent (p, 7);
188 }
189
190 static void hip7 (struct S *p)
191 {
192 p->f (p);
193 gdp = &p;
194 }
195
196 static void hiphip7 (struct S *p)
197 {
198 hip7 (p);
199 gdp = &p;
200 }
201
202 int test7 (void)
203 {
204 struct S *p = gp;
205 p->i = 7341;
206 p->f = hooray7;
207 p->u = 1007;
208 hiphip7 (p);
209 return 0;
210 }
211
212
213
214 /* { dg-final { scan-ipa-dump "hooray1\[^\\n\]*inline copy in test1" "inline" } } */
215 /* { dg-final { scan-ipa-dump "hooray2\[^\\n\]*inline copy in test2" "inline" } } */
216 /* { dg-final { scan-ipa-dump "hooray3\[^\\n\]*inline copy in test3" "inline" } } */
217 /* { dg-final { scan-ipa-dump "hooray4\[^\\n\]*inline copy in test4" "inline" { xfail { { hppa*-*-* } && { ! lp64 } } } } } */
218 /* { dg-final { scan-ipa-dump "hooray5\[^\\n\]*inline copy in test5" "inline" } } */
219 /* { dg-final { scan-ipa-dump "hooray6\[^\\n\]*inline copy in test6" "inline" } } */
220 /* { dg-final { scan-ipa-dump "hooray7\[^\\n\]*inline copy in test7" "inline" } } */