1 /* { dg-do run } */
2 /* { dg-options "-O3 -march=z10 --save-temps -mindirect-branch-table" } */
3 /* { dg-require-effective-target label_values } */
4
5 /* This is a copy of the gcc.c-torture/execute/20040302-1.c
6 testcase. */
7
8 int code[]={0,0,0,0,1};
9
foo(int x)10 void foo(int x) {
11 volatile int b;
12 b = 0xffffffff;
13 }
14
15 void __attribute__((indirect_branch_jump("thunk-inline")))
bar(int * pc)16 bar(int *pc) {
17 static const void *l[] = {&&lab0, &&end};
18
19 foo(0);
20 goto *l[*pc];
21 lab0:
22 foo(0);
23 pc++;
24 goto *l[*pc];
25 end:
26 return;
27 }
28
29 int
main()30 main() {
31 bar(code);
32 return 0;
33 }
34
35 /* The two gotos in bar get merged. */
36 /* { dg-final { scan-assembler-times "exrl" 1 } } */
37
38 /* { dg-final { scan-assembler-not "jg\t__s390_indirect_jump" } } */
39 /* { dg-final { scan-assembler "section\t.s390_indirect_jump" } } */
40 /* { dg-final { scan-assembler-not "section\t.s390_indirect_call" } } */
41 /* { dg-final { scan-assembler-not "section\t.s390_return_reg" } } */
42 /* { dg-final { scan-assembler-not "section\t.s390_return_mem" } } */
43