/* PR tree-optimization/37573 */
|
/* PR tree-optimization/37573 */
|
|
|
struct S
|
struct S
|
{
|
{
|
unsigned int *a;
|
unsigned int *a;
|
unsigned int b;
|
unsigned int b;
|
unsigned int c[624];
|
unsigned int c[624];
|
};
|
};
|
|
|
static unsigned char __attribute__((noinline))
|
static unsigned char __attribute__((noinline))
|
foo (struct S *s)
|
foo (struct S *s)
|
{
|
{
|
unsigned int r;
|
unsigned int r;
|
if (!--s->b)
|
if (!--s->b)
|
{
|
{
|
unsigned int *c = s->c;
|
unsigned int *c = s->c;
|
unsigned int i;
|
unsigned int i;
|
s->a = c;
|
s->a = c;
|
for (i = 0; i < 227; i++)
|
for (i = 0; i < 227; i++)
|
c[i] = ((((c[i] ^ c[i + 1]) & 0x7ffffffe) ^ c[i]) >> 1)
|
c[i] = ((((c[i] ^ c[i + 1]) & 0x7ffffffe) ^ c[i]) >> 1)
|
^ ((0 - (c[i + 1] & 1)) & 0x9908b0df) ^ c[i + 397];
|
^ ((0 - (c[i + 1] & 1)) & 0x9908b0df) ^ c[i + 397];
|
}
|
}
|
r = *(s->a++);
|
r = *(s->a++);
|
r ^= (r >> 11);
|
r ^= (r >> 11);
|
r ^= ((r & 0xff3a58ad) << 7);
|
r ^= ((r & 0xff3a58ad) << 7);
|
r ^= ((r & 0xffffdf8c) << 15);
|
r ^= ((r & 0xffffdf8c) << 15);
|
r ^= (r >> 18);
|
r ^= (r >> 18);
|
return (unsigned char) (r >> 1);
|
return (unsigned char) (r >> 1);
|
}
|
}
|
|
|
static void __attribute__((noinline))
|
static void __attribute__((noinline))
|
bar (unsigned char *p, unsigned int q, unsigned int r)
|
bar (unsigned char *p, unsigned int q, unsigned int r)
|
{
|
{
|
struct S s;
|
struct S s;
|
unsigned int i;
|
unsigned int i;
|
unsigned int *c = s.c;
|
unsigned int *c = s.c;
|
*c = r;
|
*c = r;
|
for (i = 1; i < 624; i++)
|
for (i = 1; i < 624; i++)
|
c[i] = i + 0x6c078965 * ((c[i - 1] >> 30) ^ c[i - 1]);
|
c[i] = i + 0x6c078965 * ((c[i - 1] >> 30) ^ c[i - 1]);
|
s.b = 1;
|
s.b = 1;
|
while (q--)
|
while (q--)
|
*p++ ^= foo (&s);
|
*p++ ^= foo (&s);
|
};
|
};
|
|
|
static unsigned char p[23] = {
|
static unsigned char p[23] = {
|
0xc0, 0x49, 0x17, 0x32, 0x62, 0x1e, 0x2e, 0xd5, 0x4c, 0x19, 0x28, 0x49,
|
0xc0, 0x49, 0x17, 0x32, 0x62, 0x1e, 0x2e, 0xd5, 0x4c, 0x19, 0x28, 0x49,
|
0x91, 0xe4, 0x72, 0x83, 0x91, 0x3d, 0x93, 0x83, 0xb3, 0x61, 0x38
|
0x91, 0xe4, 0x72, 0x83, 0x91, 0x3d, 0x93, 0x83, 0xb3, 0x61, 0x38
|
};
|
};
|
|
|
static unsigned char q[23] = {
|
static unsigned char q[23] = {
|
0x3e, 0x41, 0x55, 0x54, 0x4f, 0x49, 0x54, 0x20, 0x55, 0x4e, 0x49, 0x43,
|
0x3e, 0x41, 0x55, 0x54, 0x4f, 0x49, 0x54, 0x20, 0x55, 0x4e, 0x49, 0x43,
|
0x4f, 0x44, 0x45, 0x20, 0x53, 0x43, 0x52, 0x49, 0x50, 0x54, 0x3c
|
0x4f, 0x44, 0x45, 0x20, 0x53, 0x43, 0x52, 0x49, 0x50, 0x54, 0x3c
|
};
|
};
|
|
|
int
|
int
|
main (void)
|
main (void)
|
{
|
{
|
unsigned int s;
|
unsigned int s;
|
s = 23;
|
s = 23;
|
bar (p, s, s + 0xa25e);
|
bar (p, s, s + 0xa25e);
|
if (__builtin_memcmp (p, q, s) != 0)
|
if (__builtin_memcmp (p, q, s) != 0)
|
__builtin_abort ();
|
__builtin_abort ();
|
return 0;
|
return 0;
|
}
|
}
|
|
|
|
|