1 /* { dg-do run } */
2 /* { dg-options "-O2 -fno-reorder-blocks" } */
3
4 void abort ();
5
6 __attribute__((noinline, noclone)) int
restore(int a,int b)7 restore (int a, int b)
8 {
9 return a * b;
10 }
11
12 __attribute__((noinline, noclone)) void
do_nothing(int * input)13 do_nothing (int *input)
14 {
15 *input = restore (*input, 1);
16 return;
17 }
18
19 #define CASE_ENTRY(n) \
20 case n: \
21 sum = sum / (n + 1); \
22 sum = restore (sum, n + 1); \
23 if (sum == (n + addend)) \
24 break;\
25 sum = sum / (n + 2); \
26 sum = restore (sum, n + 2); \
27 sum = sum / (n + 3); \
28 sum = restore (sum, n + 3); \
29 sum = sum / (n + 4); \
30 sum = restore (sum, n + 4); \
31 sum = sum / (n + 5); \
32 sum = restore (sum, n + 5); \
33 sum = sum / (n + 6); \
34 sum = restore (sum, n + 6); \
35 sum = sum / (n + 7); \
36 sum = restore (sum, n + 7); \
37 sum = sum / (n + 8); \
38 sum = restore (sum, n + 8); \
39 sum = sum / (n + 9); \
40 sum = restore (sum, n + 9); \
41 sum = sum / (n + 10); \
42 sum = restore (sum, n + 10); \
43 sum = sum / (n + 11); \
44 sum = restore (sum, n + 11); \
45 sum = sum / (n + 12); \
46 sum = restore (sum, n + 12); \
47 sum = sum / (n + 13); \
48 sum = restore (sum, n + 13); \
49 sum = sum / (n + 14); \
50 sum = restore (sum, n + 14); \
51 sum = sum / (n + 15); \
52 sum = restore (sum, n + 15); \
53 sum = sum / (n + 16); \
54 sum = restore (sum, n + 16); \
55 sum = sum / (n + 17); \
56 sum = restore (sum, n + 17); \
57 sum = sum / (n + 18); \
58 sum = restore (sum, n + 18); \
59 sum = sum / (n + 19); \
60 sum = restore (sum, n + 19); \
61 sum = sum / (n + 20); \
62 sum = restore (sum, n + 20); \
63 sum = sum / (n + 21); \
64 sum = restore (sum, n + 21); \
65 sum = sum / (n + 22); \
66 sum = restore (sum, n + 22); \
67 sum = sum / (n + 23); \
68 sum = restore (sum, n + 23); \
69 sum = sum / (n + 24); \
70 sum = restore (sum, n + 24); \
71 sum = sum / (n + 25); \
72 sum = restore (sum, n + 25); \
73 sum = sum / (n + 26); \
74 sum = restore (sum, n + 26); \
75 sum = sum / (n + 27); \
76 sum = restore (sum, n + 27); \
77 sum = sum / (n + 28); \
78 sum = restore (sum, n + 28); \
79 sum = sum / (n + 29); \
80 sum = restore (sum, n + 29); \
81 sum = sum / (n + 30); \
82 sum = restore (sum, n + 30); \
83 sum = sum / (n + 31); \
84 sum = restore (sum, n + 31); \
85 sum = sum / (n + 32); \
86 sum = restore (sum, n + 32); \
87 sum = sum / (n + 33); \
88 sum = restore (sum, n + 33); \
89 sum = sum / (n + 34); \
90 sum = restore (sum, n + 34); \
91 sum = sum / (n + 35); \
92 sum = restore (sum, n + 35); \
93 sum = sum / (n + 36); \
94 sum = restore (sum, n + 36); \
95 break;
96
97 __attribute__((noinline, noclone)) long long
test_and_branch(int selector,int addend)98 test_and_branch (int selector, int addend)
99 {
100 long long sum = selector + 1;
101
102 if (selector > 64)
103 {
104 start:
105 return sum - 1;
106 }
107 else
108 {
109 switch (selector)
110 {
111 CASE_ENTRY (1)
112 CASE_ENTRY (2)
113 CASE_ENTRY (3)
114 CASE_ENTRY (4)
115 CASE_ENTRY (5)
116 CASE_ENTRY (6)
117 CASE_ENTRY (7)
118 CASE_ENTRY (8)
119 CASE_ENTRY (9)
120 CASE_ENTRY (10)
121 CASE_ENTRY (11)
122 CASE_ENTRY (12)
123 CASE_ENTRY (13)
124 CASE_ENTRY (14)
125 CASE_ENTRY (15)
126 CASE_ENTRY (16)
127 CASE_ENTRY (17)
128 CASE_ENTRY (18)
129 CASE_ENTRY (19)
130 CASE_ENTRY (20)
131 CASE_ENTRY (21)
132 CASE_ENTRY (22)
133 CASE_ENTRY (23)
134 CASE_ENTRY (24)
135 CASE_ENTRY (25)
136 CASE_ENTRY (26)
137 CASE_ENTRY (27)
138 CASE_ENTRY (28)
139 CASE_ENTRY (29)
140 CASE_ENTRY (30)
141 CASE_ENTRY (31)
142 CASE_ENTRY (32)
143 CASE_ENTRY (33)
144 CASE_ENTRY (34)
145 CASE_ENTRY (35)
146 CASE_ENTRY (36)
147 CASE_ENTRY (37)
148 CASE_ENTRY (38)
149 CASE_ENTRY (39)
150 CASE_ENTRY (40)
151 CASE_ENTRY (41)
152 CASE_ENTRY (42)
153 CASE_ENTRY (43)
154 CASE_ENTRY (44)
155 CASE_ENTRY (45)
156 CASE_ENTRY (46)
157 CASE_ENTRY (47)
158 CASE_ENTRY (48)
159 CASE_ENTRY (49)
160 CASE_ENTRY (50)
161 CASE_ENTRY (51)
162 CASE_ENTRY (52)
163 CASE_ENTRY (53)
164 CASE_ENTRY (54)
165 CASE_ENTRY (55)
166 CASE_ENTRY (56)
167 CASE_ENTRY (57)
168 CASE_ENTRY (58)
169 CASE_ENTRY (59)
170 CASE_ENTRY (60)
171 CASE_ENTRY (61)
172 CASE_ENTRY (62)
173 CASE_ENTRY (63)
174 CASE_ENTRY (64)
175 }
176
177 do_nothing ((int *)&sum);
178
179 if (sum & 0x40)
180 goto start;
181 }
182
183 return -1;
184 }
185
186 int
main(int argc,char ** argv)187 main (int argc, char **argv)
188 {
189 long long ret = test_and_branch (64, 1);
190 if (ret != 64)
191 abort ();
192
193 ret = test_and_branch (7, 1);
194 if (ret != -1)
195 abort ();
196
197 return 0;
198 }
199