1 /* Check that various C constructs are handled correctly by profile-directed
2 block ordering.
3
4 This test is the same as gcov-4.c. The "count" comments are left in to
5 make comparisons easier; they are ignored for this test. */
6
do_something(int i)7 int do_something (int i)
8 {
9 return i;
10 }
11
12 /* Check static inline functions. */
13
14 int unref_val;
15
16 static inline int
unreferenced(int i,int j)17 unreferenced (int i, int j)
18 {
19 return i - j;
20 }
21
22 static inline int
uncalled(int i,int j)23 uncalled (int i, int j)
24 {
25 return i * j;
26 }
27
28 static inline int
called(int i,int j)29 called (int i, int j)
30 {
31 return i + j; /* count(1) */
32 }
33
34 void
call_unref()35 call_unref ()
36 {
37 if (unref_val) /* count(1) */
38 unref_val = uncalled (1, 2);
39 unref_val = called (unref_val, 4); /* count(1) */
40 }
41
42
43 /* Check for loops. */
44
45 int for_val1;
46 int for_val2;
47 int for_temp;
48
49 int
test_for1(int n)50 test_for1 (int n)
51 {
52 int i;
53 for_temp = 1; /* count(3) */
54 for (i = 0; i < n; i++)
55 for_temp++; /* count(9) */
56 return for_temp; /* count(3) */
57 }
58
59 int
test_for2(int m,int n,int o)60 test_for2 (int m, int n, int o)
61 {
62 int i, j, k;
63 for_temp = 1; /* count(6) */
64 for (i = 0; i < n; i++)
65 for (j = 0; j < m; j++)
66 for (k = 0; k < o; k++)
67 for_temp++; /* count(81) */
68 return for_temp; /* count(6) */
69 }
70
71 void
call_for()72 call_for ()
73 {
74 for_val1 += test_for1 (0);
75 for_val1 += test_for1 (2);
76 for_val1 += test_for1 (7);
77
78 for_val2 += test_for2 (0, 0, 0);
79 for_val2 += test_for2 (1, 0, 0);
80 for_val2 += test_for2 (1, 3, 0);
81 for_val2 += test_for2 (1, 3, 1);
82 for_val2 += test_for2 (3, 1, 5);
83 for_val2 += test_for2 (3, 7, 3);
84 }
85
86 /* Check the use of goto. */
87
88 int goto_val;
89
90 int
test_goto1(int f)91 test_goto1 (int f)
92 {
93 if (f) /* count(2) */
94 goto lab1; /* count(1) */
95 return 1; /* count(1) */
96 lab1:
97 return 2; /* count(1) */
98 }
99
100 int
test_goto2(int f)101 test_goto2 (int f)
102 {
103 int i;
104 for (i = 0; i < 10; i++) /* count(15) */
105 if (i == f) goto lab2; /* count(14) */
106 return 4; /* count(1) */
107 lab2:
108 return 8; /* count(1) */
109 }
110
111 void
call_goto()112 call_goto ()
113 {
114 goto_val += test_goto1 (0);
115 goto_val += test_goto1 (1);
116 goto_val += test_goto2 (3);
117 goto_val += test_goto2 (30);
118 }
119
120 /* Check nested if-then-else statements. */
121
122 int ifelse_val1;
123 int ifelse_val2;
124 int ifelse_val3;
125
126 int
test_ifelse1(int i,int j)127 test_ifelse1 (int i, int j)
128 {
129 int result = 0;
130 if (i) /* count(5) */
131 if (j) /* count(3) */
132 result = do_something (4); /* count(3) */
133 else
134 result = do_something (1024);
135 else
136 if (j) /* count(2) */
137 result = do_something (1); /* count(1) */
138 else
139 result = do_something (2); /* count(1) */
140 if (i > j) /* count(5) */
141 result = do_something (result*2); /* count(1) */
142 if (i > 10) /* count(5) */
143 if (j > 10) /* count(1) */
144 result = do_something (result*4); /* count(1) */
145 return result; /* count(5) */
146 }
147
148 int
test_ifelse2(int i)149 test_ifelse2 (int i)
150 {
151 int result = 0;
152 if (!i) /* count(6) */
153 result = do_something (1); /* count(1) */
154 if (i == 1) /* count(6) */
155 result = do_something (1024);
156 if (i == 2) /* count(6) */
157 result = do_something (2); /* count(3) */
158 if (i == 3) /* count(6) */
159 return do_something (8); /* count(2) */
160 if (i == 4) /* count(4) */
161 return do_something (2048);
162 return result; /* count(4) */
163 }
164
165 int
test_ifelse3(int i,int j)166 test_ifelse3 (int i, int j)
167 {
168 int result = 1;
169 if (i > 10 && j > i && j < 20) /* count(11) */
170 result = do_something (16); /* count(1) */
171 if (i > 20) /* count(11) */
172 if (j > i) /* count(5) */
173 if (j < 30) /* count(2) */
174 result = do_something (32); /* count(1) */
175 if (i == 3 || j == 47 || i == j) /* count(11) */
176 result = do_something (64); /* count(3) */
177 return result; /* count(11) */
178 }
179
180 void
call_ifelse()181 call_ifelse ()
182 {
183 ifelse_val1 += test_ifelse1 (0, 2);
184 ifelse_val1 += test_ifelse1 (0, 0);
185 ifelse_val1 += test_ifelse1 (1, 2);
186 ifelse_val1 += test_ifelse1 (10, 2);
187 ifelse_val1 += test_ifelse1 (11, 11);
188
189 ifelse_val2 += test_ifelse2 (0);
190 ifelse_val2 += test_ifelse2 (2);
191 ifelse_val2 += test_ifelse2 (2);
192 ifelse_val2 += test_ifelse2 (2);
193 ifelse_val2 += test_ifelse2 (3);
194 ifelse_val2 += test_ifelse2 (3);
195
196 ifelse_val3 += test_ifelse3 (11, 19);
197 ifelse_val3 += test_ifelse3 (25, 27);
198 ifelse_val3 += test_ifelse3 (11, 22);
199 ifelse_val3 += test_ifelse3 (11, 10);
200 ifelse_val3 += test_ifelse3 (21, 32);
201 ifelse_val3 += test_ifelse3 (21, 20);
202 ifelse_val3 += test_ifelse3 (1, 2);
203 ifelse_val3 += test_ifelse3 (32, 31);
204 ifelse_val3 += test_ifelse3 (3, 0);
205 ifelse_val3 += test_ifelse3 (0, 47);
206 ifelse_val3 += test_ifelse3 (65, 65);
207 }
208
209 /* Check switch statements. */
210
211 int switch_val, switch_m;
212
213 int
test_switch(int i,int j)214 test_switch (int i, int j)
215 {
216 int result = 0; /* count(5) */
217
218 switch (i) /* count(5) */
219 {
220 case 1:
221 result = do_something (2); /* count(1) */
222 break;
223 case 2:
224 result = do_something (1024);
225 break;
226 case 3:
227 case 4:
228 if (j == 2) /* count(3) */
229 return do_something (4); /* count(1) */
230 result = do_something (8); /* count(2) */
231 break;
232 default:
233 result = do_something (32); /* count(1) */
234 switch_m++; /* count(1) */
235 break;
236 }
237 return result; /* count(4) */
238 }
239
240 void
call_switch()241 call_switch ()
242 {
243 switch_val += test_switch (1, 0);
244 switch_val += test_switch (3, 0);
245 switch_val += test_switch (3, 2);
246 switch_val += test_switch (4, 0);
247 switch_val += test_switch (16, 0);
248 switch_val += switch_m;
249 }
250
251 int
main()252 main()
253 {
254 call_for ();
255 call_goto ();
256 call_ifelse ();
257 call_switch ();
258 call_unref ();
259 if ((for_val1 != 12)
260 || (for_val2 != 87)
261 || (goto_val != 15)
262 || (ifelse_val1 != 31)
263 || (ifelse_val2 != 23)
264 || (ifelse_val3 != 246)
265 || (switch_val != 55)
266 || (unref_val != 4))
267 abort ();
268 return 0;
269 }
270