1  /* PR rtl-optimization/34302 */
       2  /* { dg-require-effective-target label_values } */
       3  /* { dg-require-effective-target indirect_jumps } */
       4  
       5  extern void abort (void);
       6  
       7  struct S
       8  {
       9    int n1, n2, n3, n4;
      10  };
      11  
      12  __attribute__((noinline)) struct S
      13  foo (int x, int y, int z)
      14  {
      15    if (x != 10 || y != 9 || z != 8)
      16      abort ();
      17    struct S s = { 1, 2, 3, 4 };
      18    return s;
      19  }
      20  
      21  __attribute__((noinline)) void **
      22  bar (void **u, int *v)
      23  {
      24    void **w = u;
      25    int *s = v, x, y, z;
      26    void **p, **q;
      27    static void *l[] = { &&lab1, &&lab1, &&lab2, &&lab3, &&lab4 };
      28  
      29    if (!u)
      30      return l;
      31  
      32    q = *w++;
      33    goto *q;
      34  lab2:
      35    p = q;
      36    q = *w++;
      37    x = s[2];
      38    y = s[1];
      39    z = s[0];
      40    s -= 1;
      41    struct S r = foo (x, y, z);
      42    s[3] = r.n1;
      43    s[2] = r.n2;
      44    s[1] = r.n3;
      45    s[0] = r.n4;
      46    goto *q;
      47  lab3:
      48    p = q;
      49    q = *w++;
      50    s += 1;
      51    s[0] = 23;
      52  lab1:
      53    goto *q;
      54  lab4:
      55    return 0;
      56  }
      57  
      58  int
      59  main (void)
      60  {
      61    void **u = bar ((void **) 0, (int *) 0);
      62    void *t[] = { u[2], u[4] };
      63    int s[] = { 7, 8, 9, 10, 11, 12 };
      64    if (bar (t, &s[1]) != (void **) 0
      65        || s[0] != 4 || s[1] != 3 || s[2] != 2 || s[3] != 1
      66        || s[4] != 11 || s[5] != 12)
      67      abort ();
      68    return 0;
      69  }