OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/70025 (Miscompilation of gc-7.4.2 on s390x starting with r227382)

Browse Source 
PR middle-end/70025
	* gcc.dg/torture/pr70025.c: New test.

From-SVN: r233889
This commit is contained in:
Jakub Jelinek 2016-03-02 07:58:05 +01:00 committed by Jakub Jelinek
parent bca002411e
commit 1e840f3974
2 changed files with 86 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2016-03-02 Jakub Jelinek <jakub@redhat.com>
PR middle-end/70025
* gcc.dg/torture/pr70025.c: New test.
2016-03-02 Venkataramanan Kumar <venkataramanan.kumar@amd.com>
PR tree-optimization/68621

81
gcc/testsuite/gcc.dg/torture/pr70025.c Normal file
View File

@ -0,0 +1,81 @@
/* PR middle-end/70025 */
/* { dg-do run } */
/* { dg-additional-options "-mtune=z10" { target s390*-*-* } } */
typedef char (*F) (unsigned long, void *);
typedef union { struct A { char a1, a2, a3, a4; unsigned long a5; F a6; void *a7; } b; char c[1]; } B;
struct C { const char *c1; unsigned long c2; };
typedef struct D { unsigned long d1; int d2; const char *d3; unsigned long d4, d5; struct C d6[49]; char d7[8]; } E[1];
__attribute__ ((noinline, noclone))
void foo (register E p)
{
asm volatile ("" : : "r" (p) : "memory");
}
__attribute__ ((noinline, noclone))
void bar (register E p)
{
register unsigned long k = p[0].d1 + 1;
register struct C *l = &p[0].d6[p[0].d2];
register const char *m = l->c1;
p[0].d1 = k;
if (*m == '\0')
{
register struct A *f = &((B *) m)->b;
register unsigned long n = l->c2;
register unsigned long o = n + f->a5;
if (k < o)
{
register unsigned long i;
register unsigned long q = k + 8;
register F a6 = f->a6;
register void *a7 = f->a7;
if (q > o)
q = o;
for (i = k; i < q; i++)
p[0].d7[i - k] = (*a6) (i - n, a7);
p[0].d4 = k;
p[0].d3 = p[0].d7;
p[0].d5 = q;
return;
}
}
while (p[0].d2 > 0 && l[0].c2 != l[-1].c2)
{
p[0].d2--;
l--;
}
if (p[0].d2 == 0)
{
p[0].d2 = 0x55555555;
return;
}
p[0].d2--;
foo (p);
}
char
baz (unsigned long i, void *j)
{
if (j != 0)
__builtin_abort ();
return (char) i;
}
int
main ()
{
struct D p;
struct A f;
__builtin_memset (&f, 0, sizeof (f));
f.a2 = 4;
f.a5 = 13;
f.a6 = baz;
__builtin_memset (&p, 0, sizeof (p));
p.d6[0].c1 = (const char *) &f;
bar (&p);
if (p.d4 != 1 || p.d5 != 9 || p.d3 != p.d7)
__builtin_abort ();
return 0;
}