1  /* { dg-do run } */
       2  /* { dg-options "-O3 -march=z10 -mzarch --save-temps -mfunction-return-mem=thunk -mindirect-branch-table" } */
       3  
       4  int gl = 0;
       5  
       6  int __attribute__((noinline,noclone))
       7  bar (int a)
       8  {
       9    return a + 2;
      10  }
      11  
      12  void __attribute__((noinline,noclone))
      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
      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  /* { dg-final { scan-assembler "exrl" } } */
      42  
      43  /* { dg-final { scan-assembler-not "section\t.s390_indirect_jump" } } */
      44  /* { dg-final { scan-assembler-not "section\t.s390_indirect_call" } } */
      45  /* { dg-final { scan-assembler-not "section\t.s390_return_reg" } } */
      46  /* { dg-final { scan-assembler     "section\t.s390_return_mem" } } */