1 /* { dg-do compile } */
2 /* { dg-options "-O3 -march=z10 -mzarch --save-temps -mfunction-return-mem=thunk-extern -mindirect-branch-table" } */
3
4 int gl = 0;
5
6 int __attribute__((noinline,noclone))
bar(int a)7 bar (int a)
8 {
9 return a + 2;
10 }
11
12 void __attribute__((noinline,noclone))
foo(int a)13 foo (int a)
14 {
15 int i;
16
17 if (a == 42)
18 return;
19
20 for (i = 0; i < a; i++)
21 gl += bar (i);
22 }
23
24 int
main()25 main ()
26 {
27 foo (3);
28 if (gl != 9)
29 __builtin_abort ();
30
31 return 0;
32 }
33
34 /* With -march=z10 -mzarch the shrink wrapped returns use compare and
35 swap relative to jump to the exit block instead of making use of
36 the conditional return pattern.
37 FIXME: Use compare and branch register for that!!!! */
38
39 /* 2 x foo, 1 x main
40 /* { dg-final { scan-assembler-times "jg\t__s390_indirect_jump" 3 } } */
41
42 /* No thunks due to thunk-extern. */
43 /* { dg-final { scan-assembler-not "exrl" } } */
44 /* { dg-final { scan-assembler-not ".globl __s390_indirect_jump" } } */
45
46 /* { dg-final { scan-assembler-not "section\t.s390_indirect_jump" } } */
47 /* { dg-final { scan-assembler-not "section\t.s390_indirect_call" } } */
48 /* { dg-final { scan-assembler-not "section\t.s390_return_reg" } } */
49 /* { dg-final { scan-assembler "section\t.s390_return_mem" } } */
50