|
111
|
1 /* &&foo should be hoisted, but on most targets, excess register pressure
|
|
|
2 forces it to be rematerialized before "data != &&foo". On targets that
|
|
|
3 have a "branch if registers are equal" instruction, this leads to the
|
|
|
4 branch having two LABEL_REFs: one for the branch target and one for
|
|
|
5 &&foo. When reloading &&foo into a register, reload would wrongly
|
|
|
6 say that &&foo was the target of the branch, and the real target would
|
|
|
7 then be removed as dead. */
|
|
|
8 /* { dg-do link } */
|
|
|
9 /* { dg-require-effective-target label_values } */
|
|
|
10 #define NVARS 30
|
|
|
11 #define MULTI(X) \
|
|
|
12 X( 0), X( 1), X( 2), X( 3), X( 4), X( 5), X( 6), X( 7), X( 8), X( 9), \
|
|
|
13 X(10), X(11), X(12), X(13), X(14), X(15), X(16), X(17), X(18), X(19), \
|
|
|
14 X(20), X(21), X(22), X(23), X(24), X(25), X(26), X(27), X(28), X(29)
|
|
|
15
|
|
|
16 #define DECLARE(INDEX) i##INDEX = gv[INDEX]
|
|
|
17 #define COPY(INDEX) gv[INDEX] = i##INDEX
|
|
|
18
|
|
|
19 volatile int gv[NVARS];
|
|
|
20 void *volatile data;
|
|
|
21
|
|
|
22 int
|
|
|
23 main (void)
|
|
|
24 {
|
|
|
25 __label__ foo;
|
|
|
26
|
|
|
27 if (gv[0] == 1)
|
|
|
28 goto foo;
|
|
|
29 data = &&foo;
|
|
|
30 do
|
|
|
31 {
|
|
|
32 int MULTI (DECLARE);
|
|
|
33 MULTI (COPY);
|
|
|
34 MULTI (COPY);
|
|
|
35 MULTI (COPY);
|
|
|
36 if (data != &&foo)
|
|
|
37 gv[0] = 1;
|
|
|
38 else
|
|
|
39 gv[1] = 2;
|
|
|
40 }
|
|
|
41 while (gv[0] > 0);
|
|
|
42 foo:
|
|
|
43 return 0;
|
|
|
44 }
|
