69 lines
1.0 KiB
C
69 lines
1.0 KiB
C
/* { dg-do compile } */
|
|
/* { dg-options "-Os -fselective-scheduling2" } */
|
|
|
|
extern void abort (void);
|
|
|
|
struct S
|
|
{
|
|
int n1, n2, n3, n4;
|
|
};
|
|
|
|
__attribute__((noinline)) struct S
|
|
foo (int x, int y, int z)
|
|
{
|
|
if (x != 10 || y != 9 || z != 8)
|
|
abort ();
|
|
struct S s = { 1, 2, 3, 4 };
|
|
return s;
|
|
}
|
|
|
|
__attribute__((noinline)) void **
|
|
bar (void **u, int *v)
|
|
{
|
|
void **w = u;
|
|
int *s = v, x, y, z;
|
|
void **p, **q;
|
|
static void *l[] = { &&lab1, &&lab1, &&lab2, &&lab3, &&lab4 };
|
|
|
|
if (!u)
|
|
return l;
|
|
|
|
q = *w++;
|
|
goto *q;
|
|
lab2:
|
|
p = q;
|
|
q = *w++;
|
|
x = s[2];
|
|
y = s[1];
|
|
z = s[0];
|
|
s -= 1;
|
|
struct S r = foo (x, y, z);
|
|
s[3] = r.n1;
|
|
s[2] = r.n2;
|
|
s[1] = r.n3;
|
|
s[0] = r.n4;
|
|
goto *q;
|
|
lab3:
|
|
p = q;
|
|
q = *w++;
|
|
s += 1;
|
|
s[0] = 23;
|
|
lab1:
|
|
goto *q;
|
|
lab4:
|
|
return 0;
|
|
}
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
void **u = bar ((void **) 0, (int *) 0);
|
|
void *t[] = { u[2], u[4] };
|
|
int s[] = { 7, 8, 9, 10, 11, 12 };
|
|
if (bar (t, &s[1]) != (void **) 0
|
|
|| s[0] != 4 || s[1] != 3 || s[2] != 2 || s[3] != 1
|
|
|| s[4] != 11 || s[5] != 12)
|
|
abort ();
|
|
return 0;
|
|
}
|