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    volatile int b;
      12    b = 0xffffffff;
      13  }
      14  
      15  void __attribute__((indirect_branch_jump("thunk-inline")))
      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
      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" } } */