1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/* { dg-do compile { target { powerpc*-*-* } } } */
/* { dg-options "-O2" } */
/* We have to lose the default pic codegen on Darwin. */
/* { dg-additional-options "-mdynamic-no-pic" { target powerpc*-*-darwin* } } */
/* ... and account for the out-of-line GPR restore. */
/* { dg-final { scan-assembler-times {\mb[ \t]*restGPR} 1 { target powerpc*-*-darwin* } } } */
/* { dg-final { scan-assembler-not {\mb[ \t]L} { target powerpc*-*-darwin* } } } */
/* { dg-final { scan-assembler-not {\mb\M} { target { ! powerpc*-*-darwin* } } } } */
/* Check that all computed gotos in this testcase end up unfactored completely.
If some is not there will be a unconditional jump left; if all works fine,
all are gone. */
typedef enum opcode
{
OP_A,
OP_B,
OP_END
} opcode;
typedef struct op
{
opcode opcode;
int arg;
} op;
extern void do_stuff_b(int arg);
extern void do_stuff_c(int arg);
extern int someglobal;
void
eval(op *op)
{
static const void *dispatch_table[] = {
&&CASE_OP_A,
&&CASE_OP_B,
&&CASE_OP_C,
&&CASE_OP_END
};
goto *dispatch_table[op->opcode];
CASE_OP_A:
someglobal++;
op++;
goto *dispatch_table[op->opcode];
CASE_OP_B:
do_stuff_b(op->arg);
op++;
goto *dispatch_table[op->opcode];
CASE_OP_C:
do_stuff_c(op->arg);
op++;
goto *dispatch_table[op->opcode];
CASE_OP_END:
return;
}
|
