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 
10 void
foo(int x)11 foo(int x) {
12   volatile int b;
13   b = 0xffffffff;
14 }
15 
16 void __attribute__((indirect_branch_jump("thunk")))
bar(int * pc)17 bar(int *pc) {
18   static const void *l[] = {&&lab0, &&end};
19 
20   foo(0);
21   goto *l[*pc];
22  lab0:
23   foo(0);
24   pc++;
25   goto *l[*pc];
26  end:
27   return;
28 }
29 
main()30 int main() {
31   bar(code);
32   return 0;
33 }
34 
35 /* 2x bar */
36 /* { dg-final { scan-assembler-times "jg\t__s390_indirect_jump" 2 } } */
37 /* { dg-final { scan-assembler "exrl" } } */
38 
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