This commit was manufactured by cvs2svn to create branch

'tree-ssa-20020619-branch'. git-svn-id: https://gcc.gnu.org/svn/gcc/branches/tree-ssa-20020619-branch@67385 138bc75d-0d04-0410-961f-82ee72b054a4
author: no-author <no-author@gcc.gnu.org> 2003-06-03 16:53:07 +0000
committer: no-author <no-author@gcc.gnu.org> 2003-06-03 16:53:07 +0000
commit: 6a595b409c4a16bf07bddc89d6713105109548fd (patch)
tree: f61762dde1bdadf0d316d2d2a7fff23eab68fc73 /gcc/testsuite/gcc.dg
parent: 6b9957dfa3e1468c5c35aea4c39613d562a7a5c9 (diff)
53 files changed, 3188 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/20020525-1.c b/gcc/testsuite/gcc.dg/20020525-1.c
new file mode 100644
index 00000000000..5f2e8c9de91
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20020525-1.c
@@ -0,0 +1,24 @@
+/* PR optimization/6703
+   Origin: Glen Nakamura <glen@imodulo.com> */
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+extern void abort (void);
+extern void exit (int);
+
+void foo (int *x, int y)
+{
+  __builtin_memset (x, 0, y);
+}
+  
+int main ()
+{
+  int x[2] = { 0x5a5a5a5a, 0x5a5a5a5a };
+    
+  if (x[1] != 0x5a5a5a5a)
+    abort ();
+  foo (x, sizeof (int) + 1);
+  if (x[1] == 0x5a5a5a5a)
+    abort ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/20020729-1.c b/gcc/testsuite/gcc.dg/20020729-1.c
new file mode 100644
index 00000000000..da1ed1b7153
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20020729-1.c
@@ -0,0 +1,51 @@
+/* { dg-do compile { target i?86-*-* } } */
+/* { dg-options "-O2 -march=k6" } */
+
+static inline void *
+baz (void *s, unsigned long c, unsigned int count)
+{
+  int d0, d1;
+  __asm__ __volatile__ (""
+			: "=&c" (d0), "=&D" (d1)
+			:"a" (c), "q" (count), "0" (count / 4), "1" ((long) s)
+			:"memory");
+  return s;
+}
+
+struct A
+{
+  unsigned long *a;
+};
+
+inline static void *
+bar (struct A *x, int y)
+{
+  char *ptr;
+
+  ptr = (void *) x->a[y >> 12];
+  ptr += y % (1UL << 12);
+  return (void *) ptr;
+}
+
+int
+foo (struct A *x, unsigned int *y, int z, int u)
+{
+  int a, b, c, d, e;
+
+  z += *y;
+  c = z + u;
+  a = (z >> 12) + 1;
+  do
+    {
+      b = (a << 12);
+      d = b - z;
+      e = c - z;
+      if (e < d)
+	d = e;
+      baz (bar (x, z), 0, d);
+      z = b;
+      a++;
+    }
+  while (z < c);
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/20030217-1.c b/gcc/testsuite/gcc.dg/20030217-1.c
new file mode 100644
index 00000000000..d0cd91316c4
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030217-1.c
@@ -0,0 +1,18 @@
+/* Test whether denormal floating point constants in hexadecimal notation
+   are parsed correctly.  */
+/* { dg-do run { target i?86-*-linux* x86_64-*-* } } */
+/* { dg-options "-std=c99" } */
+
+long double d = 0x0.0000003ffffffff00000p-16357L;
+long double e = 0x0.0000003ffffffff00000p-16356L;
+
+extern void abort (void);
+extern void exit (int);
+
+int
+main (void)
+{
+  if (d != e / 2.0)
+    abort ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/20030225-2.c b/gcc/testsuite/gcc.dg/20030225-2.c
new file mode 100644
index 00000000000..a21660de71f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030225-2.c
@@ -0,0 +1,43 @@
+/* { dg-do run { target ia64-*-linux* } } */
+/* { dg-options "-O3" } */
+
+int __attribute__((noinline, const))
+ret4 (float value)
+{
+  return 4;
+}
+
+int __attribute__((noinline, const))
+ret0 (float value)
+{
+  return 0;
+}
+
+float __attribute__((noinline))
+test (float x, float y)
+{
+  int clsx = ret4 (x);
+  int clsy = ret0 (y);
+
+  if (clsx == 0 || clsy == 0
+      || (y < 0 && clsx == 1 && clsy == 1))
+    return x - y;
+
+  return x < y ? 0 : x - y;
+}
+
+float a = 0.0, b;
+
+int main (void)
+{
+  unsigned long e;
+  b = a / a;
+  __asm__ __volatile__ ("mov.m %0=ar.fpsr" : "=r" (e));
+  e &= ~0x7e000UL;
+  __asm__ __volatile__ ("mov.m ar.fpsr=%0" :: "r" (e) : "memory");
+  a = test (0, b);
+  __asm__ __volatile__ ("mov.m %0=ar.fpsr" : "=r" (e));
+  if (e & 0x2000)
+    abort ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/20030309-1.c b/gcc/testsuite/gcc.dg/20030309-1.c
new file mode 100644
index 00000000000..2431bc1b52f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030309-1.c
@@ -0,0 +1,42 @@
+/* { dg-do link } */
+/* { dg-options "-O2" } */
+
+struct A0 { int x; };
+struct A1 { int x; int y[1]; };
+struct A2 { int x; int y[2]; };
+struct A3 { int x; int y[3]; };
+struct A4 { int x; int y[4]; };
+
+void *s;
+int u;
+
+int
+main (void)
+{
+  int x;
+  void *t = s;
+
+  switch (u)
+    {
+    case 0:
+      x = ((struct A0 *) t)->x;
+      break;
+    case 1:
+      x = ((struct A1 *) t)->x;
+      break;
+    case 2:
+      x = ((struct A2 *) t)->x;
+      break;
+    case 3:
+      x = ((struct A3 *) t)->x;
+      break;
+    case 4:
+      x = ((struct A4 *) t)->x;
+      break;
+    default:
+      x = 0;
+      break;
+    }
+
+  return x;
+}
diff --git a/gcc/testsuite/gcc.dg/20030405-1.c b/gcc/testsuite/gcc.dg/20030405-1.c
new file mode 100644
index 00000000000..ec19d5c7870
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/20030405-1.c
@@ -0,0 +1,29 @@
+/* { dg-do compile { target ia64-*-* } } */
+/* { dg-options "-O2" } */
+
+int
+foo (int x, int y)
+{
+  if (y == 0)
+    {
+      register long r8 asm ("r8");
+      register long r15 asm ("r15") = 1;
+      long retval;
+      __asm __volatile ("foo" : "=r" (r8), "=r" (r15) : "1" (r15));
+      retval = r8;
+      y = retval;
+    }
+
+  {
+    register long r8 asm ("r8");
+    register long r15 asm ("r15") = 2;
+    long retval;
+    register long _out1 asm ("out1") = x;
+    register long _out0 asm ("out0") = y;
+    __asm __volatile ("foo"
+		      : "=r" (r8), "=r" (r15) , "=r" (_out0), "=r" (_out1)
+		      : "1" (r15) , "2" (_out0), "3" (_out1));
+    retval = r8;
+    return retval;
+  }
+}
diff --git a/gcc/testsuite/gcc.dg/builtins-15.c b/gcc/testsuite/gcc.dg/builtins-15.c
new file mode 100644
index 00000000000..6d94c7edc51
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/builtins-15.c
@@ -0,0 +1,17 @@
+/* Derived from PR optimization/10764  */
+
+/* { dg-do compile } */
+/* { dg-options "-O2 -ffast-math" } */
+
+double log(double x);
+
+double ndtri(double y0)
+{
+  double x;
+
+  x = log(y0);
+  x = log(x);
+
+  return x;
+}
+
diff --git a/gcc/testsuite/gcc.dg/builtins-16.c b/gcc/testsuite/gcc.dg/builtins-16.c
new file mode 100644
index 00000000000..e7ffe935067
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/builtins-16.c
@@ -0,0 +1,28 @@
+/* Copyright (C) 2003  Free Software Foundation.
+
+   Verify that all the __builtin_cabs? functions are recognized
+   by the compiler.  Complex numbers are not supported with the
+   gcc.dg default "-pedantic-errors" option, so the dg-options
+   overrides this.
+
+   Written by Roger Sayle, 1st June 2003.  */
+
+/* { dg-do compile } */
+/* { dg-options "-O -ansi" } */
+/* { dg-final { scan-assembler-not "__builtin_" } } */
+
+double test(__complex__ double x)
+{
+  return __builtin_cabs (x);
+}
+
+float testf(__complex__ float x)
+{
+  return __builtin_cabsf (x);
+}
+
+long double testl(__complex__ long double x)
+{
+  return __builtin_cabsl (x);
+}
+
diff --git a/gcc/testsuite/gcc.dg/compat/fp-struct-check.h b/gcc/testsuite/gcc.dg/compat/fp-struct-check.h
new file mode 100644
index 00000000000..e907c7f0468
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/fp-struct-check.h
@@ -0,0 +1,71 @@
+/* Function definitions that are used by multiple tests.  */
+
+#define CHECKS(NAME,TYPEM)					\
+void checkS##NAME##1 (S##NAME##1 x, TYPEM y)			\
+{ if (x.a != y) { DEBUG_NL; DEBUG_NL; abort (); } }		\
+void checkS##NAME##2 (S##NAME##2 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 ) { DEBUG_NL; abort (); } }	\
+void checkS##NAME##3 (S##NAME##3 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 )			\
+    { DEBUG_NL; abort (); } }					\
+void checkS##NAME##4 (S##NAME##4 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3)	\
+    { DEBUG_NL; abort (); } }					\
+void checkS##NAME##5 (S##NAME##5 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4) { DEBUG_NL; abort (); } }			\
+void checkS##NAME##6 (S##NAME##6 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5) { DEBUG_NL; abort (); } }	\
+void checkS##NAME##7 (S##NAME##7 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6)		\
+    { DEBUG_NL; abort (); } }					\
+void checkS##NAME##8 (S##NAME##8 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7) { DEBUG_NL; abort (); } }			\
+void checkS##NAME##9 (S##NAME##9 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8) { DEBUG_NL; abort (); } }	\
+void checkS##NAME##10 (S##NAME##10 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9)		\
+   { DEBUG_NL; abort (); } }					\
+void checkS##NAME##11 (S##NAME##11 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10) { DEBUG_NL; abort (); } }			\
+void checkS##NAME##12 (S##NAME##12 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10 || x.l != y+11) { DEBUG_NL; abort (); } }	\
+void checkS##NAME##13 (S##NAME##13 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10 || x.l != y+11 || x.m != y+12)		\
+    { DEBUG_NL; abort (); } }					\
+void checkS##NAME##14 (S##NAME##14 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10 || x.l != y+11 || x.m != y+12		\
+      || x.n != y+13) { DEBUG_NL; abort (); } }			\
+void checkS##NAME##15 (S##NAME##15 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10 || x.l != y+11 || x.m != y+12		\
+      || x.n != y+13 || x.o != y+14) { DEBUG_NL; abort (); } }	\
+void checkS##NAME##16 (S##NAME##16 x, TYPEM y)			\
+{ if (x.a != y || x.b != y+1 || x.c != y+2 || x.d != y+3	\
+      || x.e != y+4 || x.f != y+5 || x.g != y+6			\
+      || x.h != y+7 || x.i != y+8 || x.j != y+9			\
+      || x.k != y+10 || x.l != y+11 || x.m != y+12		\
+      || x.n != y+13 || x.o != y+14 || x.p != y+15)		\
+    { DEBUG_NL; abort (); } }
diff --git a/gcc/testsuite/gcc.dg/compat/fp-struct-defs.h b/gcc/testsuite/gcc.dg/compat/fp-struct-defs.h
new file mode 100644
index 00000000000..67d63f23b4f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/fp-struct-defs.h
@@ -0,0 +1,43 @@
+/* Type definitions that are used by multiple tests.  */
+
+#define DEFS(NAME,TYPEM)					\
+typedef struct { TYPEM a; } S##NAME##1;				\
+typedef struct { TYPEM a; TYPEM b; } S##NAME##2;		\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; } S##NAME##3;	\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; }		\
+	       S##NAME##4;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e; }	\
+	       S##NAME##5;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+  		 TYPEM f; } S##NAME##6;				\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; } S##NAME##7;		\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; } S##NAME##8;	\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; }		\
+	       S##NAME##9;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j; }	\
+	       S##NAME##10;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; } S##NAME##11;			\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; TYPEM l; } S##NAME##12;		\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; TYPEM l; TYPEM m; } S##NAME##13;	\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; TYPEM l; TYPEM m; TYPEM n; }		\
+	        S##NAME##14;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; TYPEM l; TYPEM m; TYPEM n; TYPEM o; }	\
+	       S##NAME##15;					\
+typedef struct { TYPEM a; TYPEM b; TYPEM c; TYPEM d; TYPEM e;	\
+		 TYPEM f; TYPEM g; TYPEM h; TYPEM i; TYPEM j;	\
+		 TYPEM k; TYPEM l; TYPEM m; TYPEM n; TYPEM o;	\
+		 TYPEM p; } S##NAME##16;
diff --git a/gcc/testsuite/gcc.dg/compat/fp-struct-init.h b/gcc/testsuite/gcc.dg/compat/fp-struct-init.h
new file mode 100644
index 00000000000..46a0cef1d03
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/fp-struct-init.h
@@ -0,0 +1,54 @@
+/* Function definitions that are used by multiple tests.  */
+
+#define INITS(NAME,TYPEM)					\
+void initS##NAME##1 (S##NAME##1 *p, TYPEM y)			\
+{ p->a = y; }							\
+void initS##NAME##2 (S##NAME##2 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; }					\
+void initS##NAME##3 (S##NAME##3 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; }				\
+void initS##NAME##4 (S##NAME##4 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; }		\
+void initS##NAME##5 (S##NAME##5 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4; }	\
+void initS##NAME##6 (S##NAME##6 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; }							\
+void initS##NAME##7 (S##NAME##7 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; }					\
+void initS##NAME##8 (S##NAME##8 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; }				\
+void initS##NAME##9 (S##NAME##9 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; }		\
+void initS##NAME##10 (S##NAME##10 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9; }	\
+void initS##NAME##11 (S##NAME##11 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; }						\
+void initS##NAME##12 (S##NAME##12 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; p->l = y+11; }					\
+void initS##NAME##13 (S##NAME##13 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; p->l = y+11; p->m = y+12; }			\
+void initS##NAME##14 (S##NAME##14 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; p->l = y+11; p->m = y+12; p->n = y+13; }		\
+void initS##NAME##15 (S##NAME##15 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; p->l = y+11; p->m = y+12; p->n = y+13;		\
+  p->o = y+14; }						\
+void initS##NAME##16 (S##NAME##16 *p, TYPEM y)			\
+{ p->a = y; p->b = y+1; p->c = y+2; p->d = y+3; p->e = y+4;	\
+  p->f = y+5; p->g = y+6; p->h = y+7; p->i = y+8; p->j = y+9;	\
+  p->k = y+10; p->l = y+11; p->m = y+12; p->n = y+13;		\
+  p->o = y+14; p->p = y+15; }
diff --git a/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-x.h b/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-x.h
new file mode 100644
index 00000000000..867c75b01ca
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-x.h
@@ -0,0 +1,113 @@
+#define TEST(TYPE,MTYPE)					\
+TYPE g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE;		\
+TYPE g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE;		\
+TYPE g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE;		\
+TYPE g13s##TYPE, g14s##TYPE, g15s##TYPE, g16s##TYPE;		\
+								\
+extern void init##TYPE (TYPE *p, MTYPE x);			\
+extern void checkg##TYPE (void);				\
+extern void							\
+test##TYPE (TYPE s1, TYPE s2, TYPE s3, TYPE s4,			\
+	    TYPE s5, TYPE s6, TYPE s7, TYPE s8,			\
+	    TYPE s9, TYPE s10, TYPE s11, TYPE s12,		\
+	    TYPE s13, TYPE s14, TYPE s15, TYPE s16);		\
+extern void testva##TYPE (int n, ...);				\
+								\
+void								\
+test2_##TYPE (TYPE s1, TYPE s2, TYPE s3, TYPE s4,		\
+	      TYPE s5, TYPE s6, TYPE s7, TYPE s8)		\
+{								\
+  test##TYPE (s1, g2s##TYPE, s2, g4s##TYPE,			\
+	      s3, g6s##TYPE, s4, g8s##TYPE,			\
+	      s5, g10s##TYPE, s6, g12s##TYPE,			\
+	      s7, g14s##TYPE, s8, g16s##TYPE);			\
+}								\
+								\
+void								\
+testit##TYPE (void)						\
+{								\
+  DEBUG_FPUTS (#TYPE);						\
+  init##TYPE  ( &g1s##TYPE,  (MTYPE)1);				\
+  init##TYPE  ( &g2s##TYPE,  (MTYPE)2);				\
+  init##TYPE  ( &g3s##TYPE,  (MTYPE)3);				\
+  init##TYPE  ( &g4s##TYPE,  (MTYPE)4);				\
+  init##TYPE  ( &g5s##TYPE,  (MTYPE)5);				\
+  init##TYPE  ( &g6s##TYPE,  (MTYPE)6);				\
+  init##TYPE  ( &g7s##TYPE,  (MTYPE)7);				\
+  init##TYPE  ( &g8s##TYPE,  (MTYPE)8);				\
+  init##TYPE  ( &g9s##TYPE,  (MTYPE)9);				\
+  init##TYPE  (&g10s##TYPE, (MTYPE)10);				\
+  init##TYPE  (&g11s##TYPE, (MTYPE)11);				\
+  init##TYPE  (&g12s##TYPE, (MTYPE)12);				\
+  init##TYPE  (&g13s##TYPE, (MTYPE)13);				\
+  init##TYPE  (&g14s##TYPE, (MTYPE)14);				\
+  init##TYPE  (&g15s##TYPE, (MTYPE)15);				\
+  init##TYPE  (&g16s##TYPE, (MTYPE)16);				\
+  checkg##TYPE ();						\
+  DEBUG_FPUTS (" test");					\
+  test##TYPE (g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+	      g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+	      g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE,	\
+	      g13s##TYPE, g14s##TYPE, g15s##TYPE, g16s##TYPE);	\
+  DEBUG_FPUTS (" testva");					\
+  testva##TYPE (1,						\
+		g1s##TYPE);					\
+  testva##TYPE (2,						\
+		g1s##TYPE, g2s##TYPE);				\
+  testva##TYPE (3,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE);		\
+  testva##TYPE (4,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE);	\
+  testva##TYPE (5,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE);					\
+  testva##TYPE (6,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE);				\
+  testva##TYPE (7,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE);		\
+  testva##TYPE (8,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE);	\
+  testva##TYPE (9,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE);					\
+  testva##TYPE (10,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE);				\
+  testva##TYPE (11,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE);		\
+  testva##TYPE (12,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE);	\
+  testva##TYPE (13,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE,	\
+		g13s##TYPE);					\
+  testva##TYPE (14,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE,	\
+		g13s##TYPE, g14s##TYPE);			\
+  testva##TYPE (15,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE,	\
+		g13s##TYPE, g14s##TYPE, g15s##TYPE);		\
+  testva##TYPE (16,						\
+		g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE,	\
+		g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE,	\
+		g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE,	\
+		g13s##TYPE, g14s##TYPE, g15s##TYPE, g16s##TYPE); \
+  DEBUG_FPUTS (" test2");					\
+  test2_##TYPE (g1s##TYPE, g3s##TYPE, g5s##TYPE, g7s##TYPE,	\
+		g9s##TYPE, g11s##TYPE, g13s##TYPE, g15s##TYPE);	\
+  DEBUG_NL;							\
+}
diff --git a/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-y.h b/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-y.h
new file mode 100644
index 00000000000..89d2faa8618
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/fp-struct-test-by-value-y.h
@@ -0,0 +1,86 @@
+#define TEST(TYPE,TYPE2)					\
+extern TYPE g1s##TYPE, g2s##TYPE, g3s##TYPE, g4s##TYPE;		\
+extern TYPE g5s##TYPE, g6s##TYPE, g7s##TYPE, g8s##TYPE;		\
+extern TYPE g9s##TYPE, g10s##TYPE, g11s##TYPE, g12s##TYPE;	\
+extern TYPE g13s##TYPE, g14s##TYPE, g15s##TYPE, g16s##TYPE;	\
+								\
+extern void check##TYPE (TYPE x, TYPE2 y);			\
+								\
+void								\
+checkg##TYPE (void)						\
+{								\
+  check##TYPE (  g1s##TYPE,  (TYPE2)1);				\
+  check##TYPE (  g2s##TYPE,  (TYPE2)2);				\
+  check##TYPE (  g3s##TYPE,  (TYPE2)3);				\
+  check##TYPE (  g4s##TYPE,  (TYPE2)4);				\
+  check##TYPE (  g5s##TYPE,  (TYPE2)5);				\
+  check##TYPE (  g6s##TYPE,  (TYPE2)6);				\
+  check##TYPE (  g7s##TYPE,  (TYPE2)7);				\
+  check##TYPE (  g8s##TYPE,  (TYPE2)8);				\
+  check##TYPE (  g9s##TYPE,  (TYPE2)9);				\
+  check##TYPE ( g10s##TYPE, (TYPE2)10);				\
+  check##TYPE ( g11s##TYPE, (TYPE2)11);				\
+  check##TYPE ( g12s##TYPE, (TYPE2)12);				\
+  check##TYPE ( g13s##TYPE, (TYPE2)13);				\
+  check##TYPE ( g14s##TYPE, (TYPE2)14);				\
+  check##TYPE ( g15s##TYPE, (TYPE2)15);				\
+  check##TYPE ( g16s##TYPE, (TYPE2)16);				\
+}								\
+								\
+void								\
+test##TYPE (TYPE s1, TYPE s2, TYPE s3, TYPE s4,			\
+	    TYPE s5, TYPE s6, TYPE s7, TYPE s8,			\
+	    TYPE s9, TYPE s10, TYPE s11, TYPE s12,		\
+	    TYPE s13, TYPE s14, TYPE s15, TYPE s16)		\
+{								\
+  DEBUG_DOT;							\
+  check##TYPE (s1, (TYPE2)1);					\
+  DEBUG_DOT;							\
+  check##TYPE (s2, (TYPE2)2);					\
+  DEBUG_DOT;							\
+  check##TYPE (s3, (TYPE2)3);					\
+  DEBUG_DOT;							\
+  check##TYPE (s4, (TYPE2)4);					\
+  DEBUG_DOT;							\
+  check##TYPE (s5, (TYPE2)5);					\
+  DEBUG_DOT;							\
+  check##TYPE (s6, (TYPE2)6);					\
+  DEBUG_DOT;							\
+  check##TYPE (s7, (TYPE2)7);					\
+  DEBUG_DOT;							\
+  check##TYPE (s8, (TYPE2)8);					\
+  DEBUG_DOT;							\
+  check##TYPE (s9, (TYPE2)9);					\
+  DEBUG_DOT;							\
+  check##TYPE (s10, (TYPE2)10);					\
+  DEBUG_DOT;							\
+  check##TYPE (s11, (TYPE2)11);					\
+  DEBUG_DOT;							\
+  check##TYPE (s12, (TYPE2)12);					\
+  DEBUG_DOT;							\
+  check##TYPE (s13, (TYPE2)13);					\
+  DEBUG_DOT;							\
+  check##TYPE (s14, (TYPE2)14);					\
+  DEBUG_DOT;							\
+  check##TYPE (s15, (TYPE2)15);					\
+  DEBUG_DOT;							\
+  check##TYPE (s16, (TYPE2)16);					\
+}								\
+								\
+void								\
+testva##TYPE (int n, ...)					\
+{								\
+  int i;							\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  TYPE t = va_arg (ap, TYPE);				\
+	  DEBUG_DOT;						\
+	  check##TYPE (t, (TYPE2)i+1);				\
+	}							\
+      va_end (ap);						\
+    }								\
+}
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-1_main.c b/gcc/testsuite/gcc.dg/compat/scalar-return-1_main.c
new file mode 100644
index 00000000000..0dca50b1c8a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-1_main.c
@@ -0,0 +1,12 @@
+/* Test function return values.  This test includes scalar types that
+   are supported by va_arg.  */
+
+extern void scalar_return_1_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  scalar_return_1_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-1_x.c b/gcc/testsuite/gcc.dg/compat/scalar-return-1_x.c
new file mode 100644
index 00000000000..aaa634e81b6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-1_x.c
@@ -0,0 +1,110 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(NAME, TYPE, INITVAL) 					\
+TYPE g01##NAME, g02##NAME, g03##NAME, g04##NAME;		\
+TYPE g05##NAME, g06##NAME, g07##NAME, g08##NAME;		\
+TYPE g09##NAME, g10##NAME, g11##NAME, g12##NAME;		\
+TYPE g13##NAME, g14##NAME, g15##NAME, g16##NAME;		\
+								\
+extern void init##NAME (TYPE *p, TYPE v);			\
+extern void checkg##NAME (void);				\
+extern TYPE test0##NAME (void);					\
+extern TYPE test1##NAME (TYPE);					\
+extern TYPE testva##NAME (int n, ...);				\
+								\
+void								\
+check##NAME (TYPE x, TYPE v)					\
+{								\
+  if (x != v)							\
+    {								\
+      DEBUG_NL;							\
+      abort ();							\
+    }								\
+}								\
+								\
+void								\
+testit##NAME (void)						\
+{								\
+  TYPE rslt;							\
+  DEBUG_FPUTS (#NAME);						\
+  init##NAME (&g01##NAME,  1);					\
+  init##NAME (&g02##NAME,  2);					\
+  init##NAME (&g03##NAME,  3);					\
+  init##NAME (&g04##NAME,  4);					\
+  init##NAME (&g05##NAME,  5);					\
+  init##NAME (&g06##NAME,  6);					\
+  init##NAME (&g07##NAME,  7);					\
+  init##NAME (&g08##NAME,  8);					\
+  init##NAME (&g09##NAME,  9);					\
+  init##NAME (&g10##NAME, 10);					\
+  init##NAME (&g11##NAME, 11);					\
+  init##NAME (&g12##NAME, 12);					\
+  init##NAME (&g13##NAME, 13);					\
+  init##NAME (&g14##NAME, 14);					\
+  init##NAME (&g15##NAME, 15);					\
+  init##NAME (&g16##NAME, 16);					\
+  checkg##NAME ();						\
+  DEBUG_FPUTS (" test0");					\
+  rslt = test0##NAME ();					\
+  check##NAME (rslt, g01##NAME);				\
+  DEBUG_FPUTS (" test1");					\
+  rslt = test1##NAME (g01##NAME);				\
+  check##NAME (rslt, g01##NAME);				\
+  DEBUG_FPUTS (" testva");					\
+  rslt = testva##NAME (1, g01##NAME);				\
+  check##NAME (rslt, g01##NAME);				\
+  rslt = testva##NAME (5, g01##NAME, g02##NAME, g03##NAME,	\
+		       g04##NAME, g05##NAME);			\
+  check##NAME (rslt, g05##NAME);				\
+  rslt = testva##NAME (9, g01##NAME, g02##NAME, g03##NAME,	\
+		       g04##NAME, g05##NAME, g06##NAME,		\
+		       g07##NAME, g08##NAME, g09##NAME);	\
+  check##NAME (rslt, g09##NAME);				\
+  rslt = testva##NAME (16, g01##NAME, g02##NAME, g03##NAME,	\
+		       g04##NAME, g05##NAME, g06##NAME,		\
+		       g07##NAME, g08##NAME, g09##NAME,		\
+		       g10##NAME, g11##NAME, g12##NAME,		\
+		       g13##NAME, g14##NAME, g15##NAME,		\
+		       g16##NAME);				\
+  check##NAME (rslt, g16##NAME);				\
+  DEBUG_NL;							\
+}
+
+extern void abort (void);
+
+T(ui, unsigned int, 51)
+T(si, int, (-55))
+T(ul, unsigned long, 61)
+T(sl, long, (-66))
+T(ull, unsigned long long, 71)
+T(sll, long long, (-77))
+T(d, double, 91.0)
+T(ld, long double, 92.0)
+
+#undef T
+
+void
+scalar_return_1_x ()
+{
+#define T(NAME) testit##NAME ();
+
+T(ui)
+T(si)
+T(ul)
+T(sl)
+T(ull)
+T(sll)
+T(d)
+T(ld)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-1_y.c b/gcc/testsuite/gcc.dg/compat/scalar-return-1_y.c
new file mode 100644
index 00000000000..edf332bd370
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-1_y.c
@@ -0,0 +1,94 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#define T(NAME, TYPE, INITVAL)					\
+extern TYPE g01##NAME, g02##NAME, g03##NAME, g04##NAME;		\
+extern TYPE g05##NAME, g06##NAME, g07##NAME, g08##NAME;		\
+extern TYPE g09##NAME, g10##NAME, g11##NAME, g12##NAME;		\
+extern TYPE g13##NAME, g14##NAME, g15##NAME, g16##NAME;		\
+								\
+extern void check##NAME (TYPE x, TYPE v);			\
+								\
+void								\
+init##NAME (TYPE *p, TYPE v)					\
+{								\
+  *p = v + INITVAL;						\
+}								\
+								\
+void								\
+checkg##NAME (void)						\
+{								\
+  check##NAME (g01##NAME,  1+INITVAL);				\
+  check##NAME (g02##NAME,  2+INITVAL);				\
+  check##NAME (g03##NAME,  3+INITVAL);				\
+  check##NAME (g04##NAME,  4+INITVAL);				\
+  check##NAME (g05##NAME,  5+INITVAL);				\
+  check##NAME (g06##NAME,  6+INITVAL);				\
+  check##NAME (g07##NAME,  7+INITVAL);				\
+  check##NAME (g08##NAME,  8+INITVAL);				\
+  check##NAME (g09##NAME,  9+INITVAL);				\
+  check##NAME (g10##NAME, 10+INITVAL);				\
+  check##NAME (g11##NAME, 11+INITVAL);				\
+  check##NAME (g12##NAME, 12+INITVAL);				\
+  check##NAME (g13##NAME, 13+INITVAL);				\
+  check##NAME (g14##NAME, 14+INITVAL);				\
+  check##NAME (g15##NAME, 15+INITVAL);				\
+  check##NAME (g16##NAME, 16+INITVAL);				\
+}								\
+								\
+TYPE								\
+test0##NAME (void)						\
+{								\
+  return g01##NAME;						\
+}								\
+								\
+TYPE								\
+test1##NAME (TYPE x01)						\
+{								\
+  return x01;							\
+}								\
+								\
+TYPE								\
+testva##NAME (int n, ...)					\
+{								\
+  int i;							\
+  TYPE rslt;							\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  rslt = va_arg (ap, TYPE);				\
+	  DEBUG_DOT;						\
+	}							\
+      va_end (ap);						\
+    }								\
+  return rslt;							\
+}
+
+T(ui, unsigned int, 51)
+T(si, int, (-55))
+T(ul, unsigned long, 61)
+T(sl, long, (-66))
+T(ull, unsigned long long, 71)
+T(sll, long long, (-77))
+T(d, double, 91.0)
+T(ld, long double, 92.0)
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-2_main.c b/gcc/testsuite/gcc.dg/compat/scalar-return-2_main.c
new file mode 100644
index 00000000000..56325e3dab7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-2_main.c
@@ -0,0 +1,12 @@
+/* Test function return values.   This test includes scalar types that
+   are not supported by va_arg.  */
+
+extern void scalar_return_2_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  scalar_return_2_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-2_x.c b/gcc/testsuite/gcc.dg/compat/scalar-return-2_x.c
new file mode 100644
index 00000000000..16b4dd8c32a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-2_x.c
@@ -0,0 +1,88 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(NAME, TYPE, INITVAL) 					\
+TYPE g01##NAME, g02##NAME, g03##NAME, g04##NAME;		\
+TYPE g05##NAME, g06##NAME, g07##NAME, g08##NAME;		\
+TYPE g09##NAME, g10##NAME, g11##NAME, g12##NAME;		\
+TYPE g13##NAME, g14##NAME, g15##NAME, g16##NAME;		\
+								\
+extern void init##NAME (TYPE *p, TYPE v);			\
+extern void checkg##NAME (void);				\
+extern TYPE test0##NAME (void);					\
+extern TYPE test1##NAME (TYPE);					\
+								\
+void								\
+check##NAME (TYPE x, TYPE v)					\
+{								\
+  if (x != v)							\
+    {								\
+      DEBUG_NL;							\
+      abort ();							\
+    }								\
+}								\
+								\
+void								\
+testit##NAME (void)						\
+{								\
+  TYPE rslt;							\
+  DEBUG_FPUTS (#NAME);						\
+  init##NAME (&g01##NAME,  1);					\
+  init##NAME (&g02##NAME,  2);					\
+  init##NAME (&g03##NAME,  3);					\
+  init##NAME (&g04##NAME,  4);					\
+  init##NAME (&g05##NAME,  5);					\
+  init##NAME (&g06##NAME,  6);					\
+  init##NAME (&g07##NAME,  7);					\
+  init##NAME (&g08##NAME,  8);					\
+  init##NAME (&g09##NAME,  9);					\
+  init##NAME (&g10##NAME, 10);					\
+  init##NAME (&g11##NAME, 11);					\
+  init##NAME (&g12##NAME, 12);					\
+  init##NAME (&g13##NAME, 13);					\
+  init##NAME (&g14##NAME, 14);					\
+  init##NAME (&g15##NAME, 15);					\
+  init##NAME (&g16##NAME, 16);					\
+  checkg##NAME ();						\
+  DEBUG_FPUTS (" test0");					\
+  rslt = test0##NAME ();					\
+  check##NAME (rslt, g01##NAME);				\
+  DEBUG_FPUTS (" test1");					\
+  rslt = test1##NAME (g01##NAME);				\
+  check##NAME (rslt, g01##NAME);				\
+  DEBUG_NL;							\
+}
+
+extern void abort (void);
+
+T(c, char, 21)
+T(uc, unsigned char, 22)
+T(sc, signed char, (-33))
+T(us, unsigned short, 41)
+T(ss, short, (-44))
+T(f, float, 90.0)
+
+#undef T
+
+void
+scalar_return_2_x ()
+{
+#define T(NAME) testit##NAME ();
+
+T(c)
+T(uc)
+T(sc)
+T(us)
+T(ss)
+T(f)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/scalar-return-2_y.c b/gcc/testsuite/gcc.dg/compat/scalar-return-2_y.c
new file mode 100644
index 00000000000..89a824c9245
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/scalar-return-2_y.c
@@ -0,0 +1,73 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#define T(NAME, TYPE, INITVAL)					\
+extern TYPE g01##NAME, g02##NAME, g03##NAME, g04##NAME;		\
+extern TYPE g05##NAME, g06##NAME, g07##NAME, g08##NAME;		\
+extern TYPE g09##NAME, g10##NAME, g11##NAME, g12##NAME;		\
+extern TYPE g13##NAME, g14##NAME, g15##NAME, g16##NAME;		\
+								\
+extern void check##NAME (TYPE x, TYPE v);			\
+								\
+void								\
+init##NAME (TYPE *p, TYPE v)					\
+{								\
+  *p = v + INITVAL;						\
+}								\
+								\
+void								\
+checkg##NAME (void)						\
+{								\
+  check##NAME (g01##NAME,  1+INITVAL);				\
+  check##NAME (g02##NAME,  2+INITVAL);				\
+  check##NAME (g03##NAME,  3+INITVAL);				\
+  check##NAME (g04##NAME,  4+INITVAL);				\
+  check##NAME (g05##NAME,  5+INITVAL);				\
+  check##NAME (g06##NAME,  6+INITVAL);				\
+  check##NAME (g07##NAME,  7+INITVAL);				\
+  check##NAME (g08##NAME,  8+INITVAL);				\
+  check##NAME (g09##NAME,  9+INITVAL);				\
+  check##NAME (g10##NAME, 10+INITVAL);				\
+  check##NAME (g11##NAME, 11+INITVAL);				\
+  check##NAME (g12##NAME, 12+INITVAL);				\
+  check##NAME (g13##NAME, 13+INITVAL);				\
+  check##NAME (g14##NAME, 14+INITVAL);				\
+  check##NAME (g15##NAME, 15+INITVAL);				\
+  check##NAME (g16##NAME, 16+INITVAL);				\
+}								\
+								\
+TYPE								\
+test0##NAME (void)						\
+{								\
+  return g01##NAME;						\
+}								\
+								\
+TYPE								\
+test1##NAME (TYPE x01)						\
+{								\
+  return x01;							\
+}
+
+T(c, char, 21)
+T(uc, unsigned char, 22)
+T(sc, signed char, (-33))
+T(us, unsigned short, 41)
+T(ss, short, (-44))
+T(f, float, 90.0)
diff --git a/gcc/testsuite/gcc.dg/compat/small-struct-check.h b/gcc/testsuite/gcc.dg/compat/small-struct-check.h
new file mode 100644
index 00000000000..9ae103f987e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/small-struct-check.h
@@ -0,0 +1,29 @@
+/* Function definitions that are used by multiple tests.  */
+
+void checkSc (Sc x, int i) { if (x.c != (char)i) { DEBUG_NL; abort (); } }
+void checkSs (Ss x, int i) { if (x.s != i) { DEBUG_NL; abort (); } }
+void checkSi (Si x, int i) { if (x.i != i) { DEBUG_NL; abort (); } }
+void checkSsc (Ssc x, int i)
+{ if (x.s != i || x.c != (char)i+1) { DEBUG_NL; abort (); } }
+void checkScs (Scs x, int i)
+{ if (x.c != (char)i || x.s != i+1) { DEBUG_NL; abort (); } }
+void checkSsi (Ssi x, int i)
+{ if (x.s != i || x.i != i+1) { DEBUG_NL; abort (); } }
+void checkSis (Sis x, int i)
+{ if (x.i != i || x.s != i+1) { DEBUG_NL; abort (); } }
+void checkSic (Sic x, int i)
+{ if (x.i != i || x.c != (char)i+1) { DEBUG_NL; abort (); } }
+void checkSci (Sci x, int i)
+{ if (x.c != (char)i || x.i != i+1) { DEBUG_NL; abort (); } }
+void checkScsi (Scsi x, int i)
+{ if (x.c != (char)i || x.s != i+1 || x.i != i+2) { DEBUG_NL; abort (); } }
+void checkScis (Scis x, int i)
+{ if (x.c != (char)i || x.i != i+1 || x.s != i+2) { DEBUG_NL; abort (); } }
+void checkSsci (Ssci x, int i)
+{ if (x.s != i || x.c != (char)i+1 || x.i != i+2) { DEBUG_NL; abort (); } }
+void checkSsic (Ssic x, int i)
+{ if (x.s != i || x.i != i+1 || x.c != (char)i+2) { DEBUG_NL; abort (); } }
+void checkSisc (Sisc x, int i)
+{ if (x.i != i || x.s != i+1 || x.c != (char)i+2) { DEBUG_NL; abort (); } }
+void checkSics (Sics x, int i)
+{ if (x.i != i || x.c != (char)i+1 || x.s != i+2) { DEBUG_NL; abort (); } }
diff --git a/gcc/testsuite/gcc.dg/compat/small-struct-defs.h b/gcc/testsuite/gcc.dg/compat/small-struct-defs.h
new file mode 100644
index 00000000000..1a46b26e805
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/small-struct-defs.h
@@ -0,0 +1,17 @@
+/* Type definitions that are used by multiple tests.  */
+
+typedef struct { char c; } Sc;
+typedef struct { short s; } Ss;
+typedef struct { int i; } Si;
+typedef struct { short s; char c; } Ssc;
+typedef struct { char c; short s; } Scs;
+typedef struct { int i; char c; } Sic;
+typedef struct { char c; int i; } Sci;
+typedef struct { short s; int i; } Ssi;
+typedef struct { int i; short s; } Sis;
+typedef struct { char c; short s; int i; } Scsi;
+typedef struct { char c; int i; short s; } Scis;
+typedef struct { short s; char c; int i; } Ssci;
+typedef struct { short s; int i; char c; } Ssic;
+typedef struct { int i; short s; char c; } Sisc;
+typedef struct { int i; char c; short s; } Sics;
diff --git a/gcc/testsuite/gcc.dg/compat/small-struct-init.h b/gcc/testsuite/gcc.dg/compat/small-struct-init.h
new file mode 100644
index 00000000000..97009b6ee32
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/small-struct-init.h
@@ -0,0 +1,17 @@
+/* Function definitions that are used by multiple tests.  */
+
+void initSc (Sc *p, int i) { p->c = (char)i; }
+void initSs (Ss *p, int i) { p->s = i; }
+void initSi (Si *p, int i) { p->i = i; }
+void initSsc (Ssc *p, int i) { p->s = i; p->c = (char)i+1; }
+void initScs (Scs *p, int i) { p->c = (char)i; p->s = i+1; }
+void initSsi (Ssi *p, int i) { p->s = i; p->i = i+1; }
+void initSis (Sis *p, int i) { p->i = i; p->s = i+1; }
+void initSic (Sic *p, int i) { p->i = i; p->c = (char)i+1; }
+void initSci (Sci *p, int i) { p->c = (char)i; p->i = i+1; }
+void initScsi (Scsi *p, int i) { p->c = (char)i; p->s = i+1; p->i = i+2; }
+void initScis (Scis *p, int i) { p->c = (char)i; p->i = i+1; p->s = i+2; }
+void initSsci (Ssci *p, int i) { p->s = i; p->c = (char)i+1; p->i = i+2; }
+void initSsic (Ssic *p, int i) { p->s = i; p->i = i+1; p->c = (char)i+2; }
+void initSisc (Sisc *p, int i) { p->i = i; p->s = i+1; p->c = (char)i+2; }
+void initSics (Sics *p, int i) { p->i = i; p->c = (char)i+1; p->s = i+2; }
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-6_main.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_main.c
new file mode 100644
index 00000000000..4e7308fbf3b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_main.c
@@ -0,0 +1,13 @@
+/* Test structures passed by value, including to a function with a
+   variable-length argument lists.  All struct members are double
+   scalars.  */
+
+extern void struct_by_value_6_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_by_value_6_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-6_x.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_x.c
new file mode 100644
index 00000000000..4b87017cfeb
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_x.c
@@ -0,0 +1,63 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#include "fp-struct-defs.h"
+#include "fp-struct-check.h"
+#include "fp-struct-test-by-value-x.h"
+
+extern void abort (void);
+
+DEFS(d, double)
+CHECKS(d, double)
+
+TEST(Sd1, double)
+TEST(Sd2, double)
+TEST(Sd3, double)
+TEST(Sd4, double)
+TEST(Sd5, double)
+TEST(Sd6, double)
+TEST(Sd7, double)
+TEST(Sd8, double)
+TEST(Sd9, double)
+TEST(Sd10, double)
+TEST(Sd11, double)
+TEST(Sd12, double)
+TEST(Sd13, double)
+TEST(Sd14, double)
+TEST(Sd15, double)
+TEST(Sd16, double)
+
+#undef T
+
+void
+struct_by_value_6_x ()
+{
+#define T(TYPE, MTYPE) testit##TYPE ();
+
+T(Sd1, double)
+T(Sd2, double)
+T(Sd3, double)
+T(Sd4, double)
+T(Sd5, double)
+T(Sd6, double)
+T(Sd7, double)
+T(Sd8, double)
+T(Sd9, double)
+T(Sd10, double)
+T(Sd11, double)
+T(Sd12, double)
+T(Sd13, double)
+T(Sd14, double)
+T(Sd15, double)
+T(Sd16, double)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-6_y.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_y.c
new file mode 100644
index 00000000000..49cc5d2211d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-6_y.c
@@ -0,0 +1,43 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#include "fp-struct-defs.h"
+#include "fp-struct-init.h"
+#include "fp-struct-test-by-value-y.h"
+
+DEFS(d, double)
+INITS(d, double)
+
+TEST(Sd1, double)
+TEST(Sd2, double)
+TEST(Sd3, double)
+TEST(Sd4, double)
+TEST(Sd5, double)
+TEST(Sd6, double)
+TEST(Sd7, double)
+TEST(Sd8, double)
+TEST(Sd9, double)
+TEST(Sd10, double)
+TEST(Sd11, double)
+TEST(Sd12, double)
+TEST(Sd13, double)
+TEST(Sd14, double)
+TEST(Sd15, double)
+TEST(Sd16, double)
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-7_main.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_main.c
new file mode 100644
index 00000000000..7f0264c0f4b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_main.c
@@ -0,0 +1,13 @@
+/* Test structures passed by value, including to a function with a
+   variable-length argument lists.  All struct members are long double
+   scalars.  */
+
+extern void struct_by_value_7_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_by_value_7_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-7_x.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_x.c
new file mode 100644
index 00000000000..7f9d09a9d65
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_x.c
@@ -0,0 +1,63 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#include "fp-struct-defs.h"
+#include "fp-struct-check.h"
+#include "fp-struct-test-by-value-x.h"
+
+extern void abort (void);
+
+DEFS(ld, long double)
+CHECKS(ld, long double)
+
+TEST(Sld1, long double)
+TEST(Sld2, long double)
+TEST(Sld3, long double)
+TEST(Sld4, long double)
+TEST(Sld5, long double)
+TEST(Sld6, long double)
+TEST(Sld7, long double)
+TEST(Sld8, long double)
+TEST(Sld9, long double)
+TEST(Sld10, long double)
+TEST(Sld11, long double)
+TEST(Sld12, long double)
+TEST(Sld13, long double)
+TEST(Sld14, long double)
+TEST(Sld15, long double)
+TEST(Sld16, long double)
+
+#undef T
+
+void
+struct_by_value_7_x ()
+{
+#define T(TYPE, MTYPE) testit##TYPE ();
+
+T(Sld1, long double)
+T(Sld2, long double)
+T(Sld3, long double)
+T(Sld4, long double)
+T(Sld5, long double)
+T(Sld6, long double)
+T(Sld7, long double)
+T(Sld8, long double)
+T(Sld9, long double)
+T(Sld10, long double)
+T(Sld11, long double)
+T(Sld12, long double)
+T(Sld13, long double)
+T(Sld14, long double)
+T(Sld15, long double)
+T(Sld16, long double)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-7_y.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_y.c
new file mode 100644
index 00000000000..bccff5decd9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-7_y.c
@@ -0,0 +1,43 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#include "fp-struct-defs.h"
+#include "fp-struct-init.h"
+#include "fp-struct-test-by-value-y.h"
+
+DEFS(ld, long double)
+INITS(ld, long double)
+
+TEST(Sld1, long double)
+TEST(Sld2, long double)
+TEST(Sld3, long double)
+TEST(Sld4, long double)
+TEST(Sld5, long double)
+TEST(Sld6, long double)
+TEST(Sld7, long double)
+TEST(Sld8, long double)
+TEST(Sld9, long double)
+TEST(Sld10, long double)
+TEST(Sld11, long double)
+TEST(Sld12, long double)
+TEST(Sld13, long double)
+TEST(Sld14, long double)
+TEST(Sld15, long double)
+TEST(Sld16, long double)
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-8_main.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_main.c
new file mode 100644
index 00000000000..6ede893d4fe
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_main.c
@@ -0,0 +1,13 @@
+/* Test structures passed by value, including to a function with a
+   variable-length argument list.  Each struct contains an array
+   of small structs with two scalar members.  */
+
+extern void struct_by_value_8_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_by_value_8_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-8_x.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_x.c
new file mode 100644
index 00000000000..8695e895c3a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_x.c
@@ -0,0 +1,210 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(N, TYPE)						\
+struct S##TYPE##N { TYPE i[N]; };				\
+								\
+struct S##TYPE##N g1s##TYPE##N, g2s##TYPE##N;			\
+struct S##TYPE##N g3s##TYPE##N, g4s##TYPE##N;			\
+struct S##TYPE##N g5s##TYPE##N, g6s##TYPE##N;			\
+struct S##TYPE##N g7s##TYPE##N, g8s##TYPE##N;			\
+struct S##TYPE##N g9s##TYPE##N, g10s##TYPE##N;			\
+struct S##TYPE##N g11s##TYPE##N, g12s##TYPE##N;			\
+struct S##TYPE##N g13s##TYPE##N, g14s##TYPE##N;			\
+struct S##TYPE##N g15s##TYPE##N, g16s##TYPE##N;			\
+								\
+extern void init##TYPE (TYPE *p, int i);			\
+extern void checkg##TYPE##N (void);				\
+extern void							\
+test##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+	       struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+	       struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+	       struct S##TYPE##N s7, struct S##TYPE##N s8,	\
+	       struct S##TYPE##N s9, struct S##TYPE##N s10,	\
+	       struct S##TYPE##N s11, struct S##TYPE##N s12,	\
+	       struct S##TYPE##N s13, struct S##TYPE##N s14,	\
+	       struct S##TYPE##N s15, struct S##TYPE##N s16);	\
+extern void testva##TYPE##N (int n, ...);			\
+								\
+								\
+void								\
+init##TYPE##N (struct S##TYPE##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    init##TYPE(&p->i[j], i+j);					\
+}								\
+								\
+void								\
+check##TYPE##N (struct S##TYPE##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    check##TYPE(p->i[j], i+j);					\
+}								\
+								\
+void								\
+test2_##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+		 struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+		 struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+		 struct S##TYPE##N s7, struct S##TYPE##N s8)	\
+{								\
+  test##TYPE##N (s1, g2s##TYPE##N, s2, g4s##TYPE##N,		\
+		 s3, g6s##TYPE##N, s4, g8s##TYPE##N,		\
+		 s5, g10s##TYPE##N, s6, g12s##TYPE##N,		\
+		 s7, g14s##TYPE##N, s8, g16s##TYPE##N);		\
+}								\
+								\
+void								\
+testit##TYPE##N (void)						\
+{								\
+  DEBUG_FPUTS (#TYPE "[" #N "]");				\
+  init##TYPE##N  ( &g1s##TYPE##N,  1*16);			\
+  init##TYPE##N  ( &g2s##TYPE##N,  2*16);			\
+  init##TYPE##N  ( &g3s##TYPE##N,  3*16);			\
+  init##TYPE##N  ( &g4s##TYPE##N,  4*16);			\
+  init##TYPE##N  ( &g5s##TYPE##N,  5*16);			\
+  init##TYPE##N  ( &g6s##TYPE##N,  6*16);			\
+  init##TYPE##N  ( &g7s##TYPE##N,  7*16);			\
+  init##TYPE##N  ( &g8s##TYPE##N,  8*16);			\
+  init##TYPE##N  ( &g9s##TYPE##N,  9*16);			\
+  init##TYPE##N  (&g10s##TYPE##N, 10*16);			\
+  init##TYPE##N  (&g11s##TYPE##N, 11*16);			\
+  init##TYPE##N  (&g12s##TYPE##N, 12*16);			\
+  init##TYPE##N  (&g13s##TYPE##N, 13*16);			\
+  init##TYPE##N  (&g14s##TYPE##N, 14*16);			\
+  init##TYPE##N  (&g15s##TYPE##N, 15*16);			\
+  init##TYPE##N  (&g16s##TYPE##N, 16*16);			\
+  checkg##TYPE##N ();						\
+  DEBUG_FPUTS (" test");					\
+  test##TYPE##N (g1s##TYPE##N, g2s##TYPE##N,			\
+		 g3s##TYPE##N, g4s##TYPE##N,			\
+		 g5s##TYPE##N, g6s##TYPE##N,			\
+		 g7s##TYPE##N, g8s##TYPE##N,			\
+		 g9s##TYPE##N, g10s##TYPE##N,			\
+		 g11s##TYPE##N, g12s##TYPE##N,			\
+		 g13s##TYPE##N, g14s##TYPE##N,			\
+		 g15s##TYPE##N, g16s##TYPE##N);			\
+  DEBUG_FPUTS (" testva");					\
+  testva##TYPE##N (16,						\
+		   g1s##TYPE##N, g2s##TYPE##N,			\
+		   g3s##TYPE##N, g4s##TYPE##N,			\
+		   g5s##TYPE##N, g6s##TYPE##N,			\
+		   g7s##TYPE##N, g8s##TYPE##N,			\
+		   g9s##TYPE##N, g10s##TYPE##N,			\
+		   g11s##TYPE##N, g12s##TYPE##N,		\
+		   g13s##TYPE##N, g14s##TYPE##N,		\
+		   g15s##TYPE##N, g16s##TYPE##N);		\
+  DEBUG_FPUTS (" test2");					\
+  test2_##TYPE##N (g1s##TYPE##N, g3s##TYPE##N,			\
+		   g5s##TYPE##N, g7s##TYPE##N,			\
+		   g9s##TYPE##N, g11s##TYPE##N,			\
+		   g13s##TYPE##N, g15s##TYPE##N);		\
+  DEBUG_NL;							\
+}
+
+typedef struct { char c; } Sc;
+typedef struct { short s; } Ss;
+typedef struct { int i; } Si;
+typedef struct { short s; char c; } Ssc;
+typedef struct { int i; short s; } Sis;
+typedef struct { char c; short s; int i; } Scsi;
+typedef struct { char c; int i; short s; } Scis;
+
+extern void abort (void);
+
+void checkSc (Sc x, int i) { if (x.c != i/16) { DEBUG_NL; abort (); } }
+void checkSs (Ss x, int i) { if (x.s != i) { DEBUG_NL; abort (); } }
+void checkSi (Si x, int i) { if (x.i != i) { DEBUG_NL; abort (); } }
+void checkSsc (Ssc x, int i)
+{ if (x.s != i || x.c != (i/16)+1) { DEBUG_NL; abort (); } }
+void checkSis (Sis x, int i)
+{ if (x.i != i || x.s != i+1) { DEBUG_NL; abort (); } }
+void checkScsi (Scsi x, int i)
+{ if (x.c != i/16 || x.s != i+1 || x.i != i+2) { DEBUG_NL; abort (); } }
+void checkScis (Scis x, int i)
+{ if (x.c != i/16 || x.i != i+1 || x.s != i+2) { DEBUG_NL; abort (); } }
+
+T(0, Ssc)
+T(1, Ssc)
+T(2, Ssc)
+T(3, Ssc)
+T(4, Ssc)
+T(5, Ssc)
+T(6, Ssc)
+T(7, Ssc)
+T(8, Ssc)
+T(9, Ssc)
+T(10, Ssc)
+T(11, Ssc)
+T(12, Ssc)
+T(13, Ssc)
+T(14, Ssc)
+T(15, Ssc)
+T(0, Sis)
+T(1, Sis)
+T(2, Sis)
+T(3, Sis)
+T(4, Sis)
+T(5, Sis)
+T(6, Sis)
+T(7, Sis)
+T(8, Sis)
+T(9, Sis)
+T(10, Sis)
+T(11, Sis)
+T(12, Sis)
+T(13, Sis)
+T(14, Sis)
+T(15, Sis)
+
+#undef T
+
+void
+struct_by_value_8_x ()
+{
+#define T(N, TYPE) testit##TYPE##N ();
+
+T(0, Ssc)
+T(1, Ssc)
+T(2, Ssc)
+T(3, Ssc)
+T(4, Ssc)
+T(5, Ssc)
+T(6, Ssc)
+T(7, Ssc)
+T(8, Ssc)
+T(9, Ssc)
+T(10, Ssc)
+T(11, Ssc)
+T(12, Ssc)
+T(13, Ssc)
+T(14, Ssc)
+T(15, Ssc)
+T(0, Sis)
+T(1, Sis)
+T(2, Sis)
+T(3, Sis)
+T(4, Sis)
+T(5, Sis)
+T(6, Sis)
+T(7, Sis)
+T(8, Sis)
+T(9, Sis)
+T(10, Sis)
+T(11, Sis)
+T(12, Sis)
+T(13, Sis)
+T(14, Sis)
+T(15, Sis)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-8_y.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_y.c
new file mode 100644
index 00000000000..e776fc3e398
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-8_y.c
@@ -0,0 +1,167 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+typedef struct { char c; } Sc;
+typedef struct { short s; } Ss;
+typedef struct { int i; } Si;
+typedef struct { short s; char c; } Ssc;
+typedef struct { int i; short s; } Sis;
+typedef struct { char c; short s; int i; } Scsi;
+typedef struct { char c; int i; short s; } Scis;
+
+void initSc (Sc *p, int i) { p->c = i/16; }
+void initSs (Ss *p, int i) { p->s = i; }
+void initSi (Si *p, int i) { p->i = i; }
+void initSsc (Ssc *p, int i) { p->s = i; p->c = (i/16)+1; }
+void initSis (Sis *p, int i) { p->i = i; p->s = i+1; }
+void initScsi (Scsi *p, int i) { p->c = i/16; p->s = i+1; p->i = i+2; }
+void initScis (Scis *p, int i) { p->c = i/16; p->i = i+1; p->s = i+2; }
+
+#define T(N, TYPE)						\
+struct S##TYPE##N { TYPE i[N]; };				\
+								\
+extern struct S##TYPE##N g1s##TYPE##N, g2s##TYPE##N;		\
+extern struct S##TYPE##N g3s##TYPE##N, g4s##TYPE##N;		\
+extern struct S##TYPE##N g5s##TYPE##N, g6s##TYPE##N;		\
+extern struct S##TYPE##N g7s##TYPE##N, g8s##TYPE##N;		\
+extern struct S##TYPE##N g9s##TYPE##N, g10s##TYPE##N;		\
+extern struct S##TYPE##N g11s##TYPE##N, g12s##TYPE##N;		\
+extern struct S##TYPE##N g13s##TYPE##N, g14s##TYPE##N;		\
+extern struct S##TYPE##N g15s##TYPE##N, g16s##TYPE##N;		\
+								\
+extern void check##TYPE (TYPE x, int i);			\
+extern void							\
+check##TYPE##N (struct S##TYPE##N *p, int i);			\
+								\
+void								\
+checkg##TYPE##N (void)						\
+{								\
+  check##TYPE##N ( &g1s##TYPE##N,  1*16);			\
+  check##TYPE##N ( &g2s##TYPE##N,  2*16);			\
+  check##TYPE##N ( &g3s##TYPE##N,  3*16);			\
+  check##TYPE##N ( &g4s##TYPE##N,  4*16);			\
+  check##TYPE##N ( &g5s##TYPE##N,  5*16);			\
+  check##TYPE##N ( &g6s##TYPE##N,  6*16);			\
+  check##TYPE##N ( &g7s##TYPE##N,  7*16);			\
+  check##TYPE##N ( &g8s##TYPE##N,  8*16);			\
+  check##TYPE##N ( &g9s##TYPE##N,  9*16);			\
+  check##TYPE##N (&g10s##TYPE##N, 10*16);			\
+  check##TYPE##N (&g11s##TYPE##N, 11*16);			\
+  check##TYPE##N (&g12s##TYPE##N, 12*16);			\
+  check##TYPE##N (&g13s##TYPE##N, 13*16);			\
+  check##TYPE##N (&g14s##TYPE##N, 14*16);			\
+  check##TYPE##N (&g15s##TYPE##N, 15*16);			\
+  check##TYPE##N (&g16s##TYPE##N, 16*16);			\
+}								\
+								\
+void								\
+test##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+	       struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+	       struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+	       struct S##TYPE##N s7, struct S##TYPE##N s8,	\
+	       struct S##TYPE##N s9, struct S##TYPE##N s10,	\
+	       struct S##TYPE##N s11, struct S##TYPE##N s12,	\
+	       struct S##TYPE##N s13, struct S##TYPE##N s14,	\
+	       struct S##TYPE##N s15, struct S##TYPE##N s16)	\
+{								\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s1, 1*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s2, 2*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s3, 3*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s4, 4*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s5, 5*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s6, 6*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s7, 7*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s8, 8*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s9, 9*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s10, 10*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s11, 11*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s12, 12*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s13, 13*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s14, 14*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s15, 15*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s16, 16*16);					\
+}								\
+								\
+void								\
+testva##TYPE##N (int n, ...)					\
+{								\
+  int i;							\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  struct S##TYPE##N t = va_arg (ap, struct S##TYPE##N);	\
+	  DEBUG_DOT;						\
+	  check##TYPE##N (&t, (i+1)*16);			\
+	}							\
+      va_end (ap);						\
+    }								\
+}
+
+T(0, Ssc)
+T(1, Ssc)
+T(2, Ssc)
+T(3, Ssc)
+T(4, Ssc)
+T(5, Ssc)
+T(6, Ssc)
+T(7, Ssc)
+T(8, Ssc)
+T(9, Ssc)
+T(10, Ssc)
+T(11, Ssc)
+T(12, Ssc)
+T(13, Ssc)
+T(14, Ssc)
+T(15, Ssc)
+T(0, Sis)
+T(1, Sis)
+T(2, Sis)
+T(3, Sis)
+T(4, Sis)
+T(5, Sis)
+T(6, Sis)
+T(7, Sis)
+T(8, Sis)
+T(9, Sis)
+T(10, Sis)
+T(11, Sis)
+T(12, Sis)
+T(13, Sis)
+T(14, Sis)
+T(15, Sis)
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-9_main.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_main.c
new file mode 100644
index 00000000000..676ab027656
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_main.c
@@ -0,0 +1,13 @@
+/* Test structures passed by value, including to a function with a
+   variable-length argument list.  Each struct contains an array
+   of small structs, each with three scalar members.  */
+
+extern void struct_by_value_9_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_by_value_9_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-9_x.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_x.c
new file mode 100644
index 00000000000..ff8f057ecb6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_x.c
@@ -0,0 +1,210 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(N, TYPE)						\
+struct S##TYPE##N { TYPE i[N]; };				\
+								\
+struct S##TYPE##N g1s##TYPE##N, g2s##TYPE##N;			\
+struct S##TYPE##N g3s##TYPE##N, g4s##TYPE##N;			\
+struct S##TYPE##N g5s##TYPE##N, g6s##TYPE##N;			\
+struct S##TYPE##N g7s##TYPE##N, g8s##TYPE##N;			\
+struct S##TYPE##N g9s##TYPE##N, g10s##TYPE##N;			\
+struct S##TYPE##N g11s##TYPE##N, g12s##TYPE##N;			\
+struct S##TYPE##N g13s##TYPE##N, g14s##TYPE##N;			\
+struct S##TYPE##N g15s##TYPE##N, g16s##TYPE##N;			\
+								\
+extern void init##TYPE (TYPE *p, int i);			\
+extern void checkg##TYPE##N (void);				\
+extern void							\
+test##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+	       struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+	       struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+	       struct S##TYPE##N s7, struct S##TYPE##N s8,	\
+	       struct S##TYPE##N s9, struct S##TYPE##N s10,	\
+	       struct S##TYPE##N s11, struct S##TYPE##N s12,	\
+	       struct S##TYPE##N s13, struct S##TYPE##N s14,	\
+	       struct S##TYPE##N s15, struct S##TYPE##N s16);	\
+extern void testva##TYPE##N (int n, ...);			\
+								\
+								\
+void								\
+init##TYPE##N (struct S##TYPE##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    init##TYPE(&p->i[j], i+j);					\
+}								\
+								\
+void								\
+check##TYPE##N (struct S##TYPE##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    check##TYPE(p->i[j], i+j);					\
+}								\
+								\
+void								\
+test2_##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+		 struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+		 struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+		 struct S##TYPE##N s7, struct S##TYPE##N s8)	\
+{								\
+  test##TYPE##N (s1, g2s##TYPE##N, s2, g4s##TYPE##N,		\
+		 s3, g6s##TYPE##N, s4, g8s##TYPE##N,		\
+		 s5, g10s##TYPE##N, s6, g12s##TYPE##N,		\
+		 s7, g14s##TYPE##N, s8, g16s##TYPE##N);		\
+}								\
+								\
+void								\
+testit##TYPE##N (void)						\
+{								\
+  DEBUG_FPUTS (#TYPE "[" #N "]");				\
+  init##TYPE##N  ( &g1s##TYPE##N,  1*16);			\
+  init##TYPE##N  ( &g2s##TYPE##N,  2*16);			\
+  init##TYPE##N  ( &g3s##TYPE##N,  3*16);			\
+  init##TYPE##N  ( &g4s##TYPE##N,  4*16);			\
+  init##TYPE##N  ( &g5s##TYPE##N,  5*16);			\
+  init##TYPE##N  ( &g6s##TYPE##N,  6*16);			\
+  init##TYPE##N  ( &g7s##TYPE##N,  7*16);			\
+  init##TYPE##N  ( &g8s##TYPE##N,  8*16);			\
+  init##TYPE##N  ( &g9s##TYPE##N,  9*16);			\
+  init##TYPE##N  (&g10s##TYPE##N, 10*16);			\
+  init##TYPE##N  (&g11s##TYPE##N, 11*16);			\
+  init##TYPE##N  (&g12s##TYPE##N, 12*16);			\
+  init##TYPE##N  (&g13s##TYPE##N, 13*16);			\
+  init##TYPE##N  (&g14s##TYPE##N, 14*16);			\
+  init##TYPE##N  (&g15s##TYPE##N, 15*16);			\
+  init##TYPE##N  (&g16s##TYPE##N, 16*16);			\
+  checkg##TYPE##N ();						\
+  DEBUG_FPUTS (" test");					\
+  test##TYPE##N (g1s##TYPE##N, g2s##TYPE##N,			\
+		 g3s##TYPE##N, g4s##TYPE##N,			\
+		 g5s##TYPE##N, g6s##TYPE##N,			\
+		 g7s##TYPE##N, g8s##TYPE##N,			\
+		 g9s##TYPE##N, g10s##TYPE##N,			\
+		 g11s##TYPE##N, g12s##TYPE##N,			\
+		 g13s##TYPE##N, g14s##TYPE##N,			\
+		 g15s##TYPE##N, g16s##TYPE##N);			\
+  DEBUG_FPUTS (" testva");					\
+  testva##TYPE##N (16,						\
+		   g1s##TYPE##N, g2s##TYPE##N,			\
+		   g3s##TYPE##N, g4s##TYPE##N,			\
+		   g5s##TYPE##N, g6s##TYPE##N,			\
+		   g7s##TYPE##N, g8s##TYPE##N,			\
+		   g9s##TYPE##N, g10s##TYPE##N,			\
+		   g11s##TYPE##N, g12s##TYPE##N,		\
+		   g13s##TYPE##N, g14s##TYPE##N,		\
+		   g15s##TYPE##N, g16s##TYPE##N);		\
+  DEBUG_FPUTS (" test2");					\
+  test2_##TYPE##N (g1s##TYPE##N, g3s##TYPE##N,			\
+		   g5s##TYPE##N, g7s##TYPE##N,			\
+		   g9s##TYPE##N, g11s##TYPE##N,			\
+		   g13s##TYPE##N, g15s##TYPE##N);		\
+  DEBUG_NL;							\
+}
+
+typedef struct { char c; } Sc;
+typedef struct { short s; } Ss;
+typedef struct { int i; } Si;
+typedef struct { short s; char c; } Ssc;
+typedef struct { int i; short s; } Sis;
+typedef struct { char c; short s; int i; } Scsi;
+typedef struct { char c; int i; short s; } Scis;
+
+extern void abort (void);
+
+void checkSc (Sc x, int i) { if (x.c != i/16) { DEBUG_NL; abort (); } }
+void checkSs (Ss x, int i) { if (x.s != i) { DEBUG_NL; abort (); } }
+void checkSi (Si x, int i) { if (x.i != i) { DEBUG_NL; abort (); } }
+void checkSsc (Ssc x, int i)
+{ if (x.s != i || x.c != (i/16)+1) { DEBUG_NL; abort (); } }
+void checkSis (Sis x, int i)
+{ if (x.i != i || x.s != i+1) { DEBUG_NL; abort (); } }
+void checkScsi (Scsi x, int i)
+{ if (x.c != i/16 || x.s != i+1 || x.i != i+2) { DEBUG_NL; abort (); } }
+void checkScis (Scis x, int i)
+{ if (x.c != i/16 || x.i != i+1 || x.s != i+2) { DEBUG_NL; abort (); } }
+
+T(0, Scsi)
+T(1, Scsi)
+T(2, Scsi)
+T(3, Scsi)
+T(4, Scsi)
+T(5, Scsi)
+T(6, Scsi)
+T(7, Scsi)
+T(8, Scsi)
+T(9, Scsi)
+T(10, Scsi)
+T(11, Scsi)
+T(12, Scsi)
+T(13, Scsi)
+T(14, Scsi)
+T(15, Scsi)
+T(0, Scis)
+T(1, Scis)
+T(2, Scis)
+T(3, Scis)
+T(4, Scis)
+T(5, Scis)
+T(6, Scis)
+T(7, Scis)
+T(8, Scis)
+T(9, Scis)
+T(10, Scis)
+T(11, Scis)
+T(12, Scis)
+T(13, Scis)
+T(14, Scis)
+T(15, Scis)
+
+#undef T
+
+void
+struct_by_value_9_x ()
+{
+#define T(N, TYPE) testit##TYPE##N ();
+
+T(0, Scsi)
+T(1, Scsi)
+T(2, Scsi)
+T(3, Scsi)
+T(4, Scsi)
+T(5, Scsi)
+T(6, Scsi)
+T(7, Scsi)
+T(8, Scsi)
+T(9, Scsi)
+T(10, Scsi)
+T(11, Scsi)
+T(12, Scsi)
+T(13, Scsi)
+T(14, Scsi)
+T(15, Scsi)
+T(0, Scis)
+T(1, Scis)
+T(2, Scis)
+T(3, Scis)
+T(4, Scis)
+T(5, Scis)
+T(6, Scis)
+T(7, Scis)
+T(8, Scis)
+T(9, Scis)
+T(10, Scis)
+T(11, Scis)
+T(12, Scis)
+T(13, Scis)
+T(14, Scis)
+T(15, Scis)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-by-value-9_y.c b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_y.c
new file mode 100644
index 00000000000..a98e5c95eb6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-by-value-9_y.c
@@ -0,0 +1,167 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+typedef struct { char c; } Sc;
+typedef struct { short s; } Ss;
+typedef struct { int i; } Si;
+typedef struct { short s; char c; } Ssc;
+typedef struct { int i; short s; } Sis;
+typedef struct { char c; short s; int i; } Scsi;
+typedef struct { char c; int i; short s; } Scis;
+
+void initSc (Sc *p, int i) { p->c = i/16; }
+void initSs (Ss *p, int i) { p->s = i; }
+void initSi (Si *p, int i) { p->i = i; }
+void initSsc (Ssc *p, int i) { p->s = i; p->c = (i/16)+1; }
+void initSis (Sis *p, int i) { p->i = i; p->s = i+1; }
+void initScsi (Scsi *p, int i) { p->c = i/16; p->s = i+1; p->i = i+2; }
+void initScis (Scis *p, int i) { p->c = i/16; p->i = i+1; p->s = i+2; }
+
+#define T(N, TYPE)						\
+struct S##TYPE##N { TYPE i[N]; };				\
+								\
+extern struct S##TYPE##N g1s##TYPE##N, g2s##TYPE##N;		\
+extern struct S##TYPE##N g3s##TYPE##N, g4s##TYPE##N;		\
+extern struct S##TYPE##N g5s##TYPE##N, g6s##TYPE##N;		\
+extern struct S##TYPE##N g7s##TYPE##N, g8s##TYPE##N;		\
+extern struct S##TYPE##N g9s##TYPE##N, g10s##TYPE##N;		\
+extern struct S##TYPE##N g11s##TYPE##N, g12s##TYPE##N;		\
+extern struct S##TYPE##N g13s##TYPE##N, g14s##TYPE##N;		\
+extern struct S##TYPE##N g15s##TYPE##N, g16s##TYPE##N;		\
+								\
+extern void check##TYPE (TYPE x, int i);			\
+extern void							\
+check##TYPE##N (struct S##TYPE##N *p, int i);			\
+								\
+void								\
+checkg##TYPE##N (void)						\
+{								\
+  check##TYPE##N ( &g1s##TYPE##N,  1*16);			\
+  check##TYPE##N ( &g2s##TYPE##N,  2*16);			\
+  check##TYPE##N ( &g3s##TYPE##N,  3*16);			\
+  check##TYPE##N ( &g4s##TYPE##N,  4*16);			\
+  check##TYPE##N ( &g5s##TYPE##N,  5*16);			\
+  check##TYPE##N ( &g6s##TYPE##N,  6*16);			\
+  check##TYPE##N ( &g7s##TYPE##N,  7*16);			\
+  check##TYPE##N ( &g8s##TYPE##N,  8*16);			\
+  check##TYPE##N ( &g9s##TYPE##N,  9*16);			\
+  check##TYPE##N (&g10s##TYPE##N, 10*16);			\
+  check##TYPE##N (&g11s##TYPE##N, 11*16);			\
+  check##TYPE##N (&g12s##TYPE##N, 12*16);			\
+  check##TYPE##N (&g13s##TYPE##N, 13*16);			\
+  check##TYPE##N (&g14s##TYPE##N, 14*16);			\
+  check##TYPE##N (&g15s##TYPE##N, 15*16);			\
+  check##TYPE##N (&g16s##TYPE##N, 16*16);			\
+}								\
+								\
+void								\
+test##TYPE##N (struct S##TYPE##N s1, struct S##TYPE##N s2,	\
+	       struct S##TYPE##N s3, struct S##TYPE##N s4,	\
+	       struct S##TYPE##N s5, struct S##TYPE##N s6,	\
+	       struct S##TYPE##N s7, struct S##TYPE##N s8,	\
+	       struct S##TYPE##N s9, struct S##TYPE##N s10,	\
+	       struct S##TYPE##N s11, struct S##TYPE##N s12,	\
+	       struct S##TYPE##N s13, struct S##TYPE##N s14,	\
+	       struct S##TYPE##N s15, struct S##TYPE##N s16)	\
+{								\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s1, 1*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s2, 2*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s3, 3*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s4, 4*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s5, 5*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s6, 6*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s7, 7*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s8, 8*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s9, 9*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s10, 10*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s11, 11*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s12, 12*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s13, 13*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s14, 14*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s15, 15*16);					\
+  DEBUG_DOT;							\
+  check##TYPE##N (&s16, 16*16);					\
+}								\
+								\
+void								\
+testva##TYPE##N (int n, ...)					\
+{								\
+  int i;							\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  struct S##TYPE##N t = va_arg (ap, struct S##TYPE##N);	\
+	  DEBUG_DOT;						\
+	  check##TYPE##N (&t, (i+1)*16);			\
+	}							\
+      va_end (ap);						\
+    }								\
+}
+
+T(0, Scsi)
+T(1, Scsi)
+T(2, Scsi)
+T(3, Scsi)
+T(4, Scsi)
+T(5, Scsi)
+T(6, Scsi)
+T(7, Scsi)
+T(8, Scsi)
+T(9, Scsi)
+T(10, Scsi)
+T(11, Scsi)
+T(12, Scsi)
+T(13, Scsi)
+T(14, Scsi)
+T(15, Scsi)
+T(0, Scis)
+T(1, Scis)
+T(2, Scis)
+T(3, Scis)
+T(4, Scis)
+T(5, Scis)
+T(6, Scis)
+T(7, Scis)
+T(8, Scis)
+T(9, Scis)
+T(10, Scis)
+T(11, Scis)
+T(12, Scis)
+T(13, Scis)
+T(14, Scis)
+T(15, Scis)
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-2_main.c b/gcc/testsuite/gcc.dg/compat/struct-return-2_main.c
new file mode 100644
index 00000000000..6089c02555a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-2_main.c
@@ -0,0 +1,12 @@
+/* Test function return values.  This test includes structs that are
+   arrays of unsigned integral scalars.  */
+
+extern void struct_return_2_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_return_2_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-2_x.c b/gcc/testsuite/gcc.dg/compat/struct-return-2_x.c
new file mode 100644
index 00000000000..aa2c34ad5c1
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-2_x.c
@@ -0,0 +1,205 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(N, NAME, TYPE)					\
+struct S##NAME##N { TYPE i[N]; };				\
+struct S##NAME##N g1s##NAME##N, g2s##NAME##N;			\
+struct S##NAME##N g3s##NAME##N, g4s##NAME##N;			\
+struct S##NAME##N g5s##NAME##N, g6s##NAME##N;			\
+struct S##NAME##N g7s##NAME##N, g8s##NAME##N;			\
+struct S##NAME##N g9s##NAME##N, g10s##NAME##N;			\
+struct S##NAME##N g11s##NAME##N, g12s##NAME##N;			\
+struct S##NAME##N g13s##NAME##N, g14s##NAME##N;			\
+struct S##NAME##N g15s##NAME##N, g16s##NAME##N;			\
+								\
+extern void init##NAME##N (struct S##NAME##N *p, int i);	\
+extern void checkg##NAME##N (void);				\
+extern struct S##NAME##N test0##NAME##N (void);			\
+extern struct S##NAME##N test1##NAME##N (struct S##NAME##N);	\
+extern struct S##NAME##N testva##NAME##N (int n, ...);		\
+								\
+void								\
+check##NAME##N (struct S##NAME##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    if (p->i[j] != (TYPE) (i + j))				\
+      {								\
+	DEBUG_NL;						\
+	abort ();						\
+      }								\
+}								\
+								\
+void								\
+testit##NAME##N (void)						\
+{								\
+  struct S##NAME##N rslt;					\
+  DEBUG_FPUTS (#NAME "[" #N "]");				\
+  init##NAME##N  ( &g1s##NAME##N,  1*16);			\
+  init##NAME##N  ( &g2s##NAME##N,  2*16);			\
+  init##NAME##N  ( &g3s##NAME##N,  3*16);			\
+  init##NAME##N  ( &g4s##NAME##N,  4*16);			\
+  init##NAME##N  ( &g5s##NAME##N,  5*16);			\
+  init##NAME##N  ( &g6s##NAME##N,  6*16);			\
+  init##NAME##N  ( &g7s##NAME##N,  7*16);			\
+  init##NAME##N  ( &g8s##NAME##N,  8*16);			\
+  init##NAME##N  ( &g9s##NAME##N,  9*16);			\
+  init##NAME##N  (&g10s##NAME##N, 10*16);			\
+  init##NAME##N  (&g11s##NAME##N, 11*16);			\
+  init##NAME##N  (&g12s##NAME##N, 12*16);			\
+  init##NAME##N  (&g13s##NAME##N, 13*16);			\
+  init##NAME##N  (&g14s##NAME##N, 14*16);			\
+  init##NAME##N  (&g15s##NAME##N, 15*16);			\
+  init##NAME##N  (&g16s##NAME##N, 16*16);			\
+  checkg##NAME##N ();						\
+  DEBUG_FPUTS (" test0");					\
+  rslt = test0##NAME##N ();					\
+  check##NAME##N (&rslt, 1*16);					\
+  DEBUG_FPUTS (" test1");					\
+  rslt = test1##NAME##N (g1s##NAME##N);				\
+  check##NAME##N (&rslt, 1*16);					\
+  DEBUG_FPUTS (" testva");					\
+  rslt = testva##NAME##N (1, g1s##NAME##N);			\
+  check##NAME##N (&rslt, 1*16);					\
+  rslt = testva##NAME##N (5,					\
+			  g1s##NAME##N, g2s##NAME##N,		\
+			  g3s##NAME##N, g4s##NAME##N,		\
+			  g5s##NAME##N);			\
+  check##NAME##N (&rslt, 5*16);					\
+  rslt = testva##NAME##N (9,					\
+			  g1s##NAME##N, g2s##NAME##N,		\
+			  g3s##NAME##N, g4s##NAME##N,		\
+			  g5s##NAME##N, g6s##NAME##N,		\
+			  g7s##NAME##N, g8s##NAME##N,		\
+			  g9s##NAME##N);			\
+  check##NAME##N (&rslt, 9*16);					\
+  rslt = testva##NAME##N (16,					\
+			  g1s##NAME##N, g2s##NAME##N,		\
+			  g3s##NAME##N, g4s##NAME##N,		\
+			  g5s##NAME##N, g6s##NAME##N,		\
+			  g7s##NAME##N, g8s##NAME##N,		\
+			  g9s##NAME##N, g10s##NAME##N,		\
+			  g11s##NAME##N, g12s##NAME##N,		\
+			  g13s##NAME##N, g14s##NAME##N,		\
+			  g15s##NAME##N, g16s##NAME##N);	\
+  check##NAME##N (&rslt, 16*16);					\
+  DEBUG_NL;							\
+}
+
+extern void abort (void);
+
+T(0, uc, unsigned char)
+T(1, uc, unsigned char)
+T(2, uc, unsigned char)
+T(3, uc, unsigned char)
+T(4, uc, unsigned char)
+T(5, uc, unsigned char)
+T(6, uc, unsigned char)
+T(7, uc, unsigned char)
+T(8, uc, unsigned char)
+T(9, uc, unsigned char)
+T(10, uc, unsigned char)
+T(11, uc, unsigned char)
+T(12, uc, unsigned char)
+T(13, uc, unsigned char)
+T(14, uc, unsigned char)
+T(15, uc, unsigned char)
+T(0, us, unsigned short)
+T(1, us, unsigned short)
+T(2, us, unsigned short)
+T(3, us, unsigned short)
+T(4, us, unsigned short)
+T(5, us, unsigned short)
+T(6, us, unsigned short)
+T(7, us, unsigned short)
+T(8, us, unsigned short)
+T(9, us, unsigned short)
+T(10, us, unsigned short)
+T(11, us, unsigned short)
+T(12, us, unsigned short)
+T(13, us, unsigned short)
+T(14, us, unsigned short)
+T(15, us, unsigned short)
+T(0, ui, unsigned int)
+T(1, ui, unsigned int)
+T(2, ui, unsigned int)
+T(3, ui, unsigned int)
+T(4, ui, unsigned int)
+T(5, ui, unsigned int)
+T(6, ui, unsigned int)
+T(7, ui, unsigned int)
+T(8, ui, unsigned int)
+T(9, ui, unsigned int)
+T(10, ui, unsigned int)
+T(11, ui, unsigned int)
+T(12, ui, unsigned int)
+T(13, ui, unsigned int)
+T(14, ui, unsigned int)
+T(15, ui, unsigned int)
+
+#undef T
+
+void
+struct_return_2_x ()
+{
+#define T(N, NAME, TYPE) testit##NAME##N ();
+
+T(0, uc, unsigned char)
+T(1, uc, unsigned char)
+T(2, uc, unsigned char)
+T(3, uc, unsigned char)
+T(4, uc, unsigned char)
+T(5, uc, unsigned char)
+T(6, uc, unsigned char)
+T(7, uc, unsigned char)
+T(8, uc, unsigned char)
+T(9, uc, unsigned char)
+T(10, uc, unsigned char)
+T(11, uc, unsigned char)
+T(12, uc, unsigned char)
+T(13, uc, unsigned char)
+T(14, uc, unsigned char)
+T(15, uc, unsigned char)
+T(0, us, unsigned short)
+T(1, us, unsigned short)
+T(2, us, unsigned short)
+T(3, us, unsigned short)
+T(4, us, unsigned short)
+T(5, us, unsigned short)
+T(6, us, unsigned short)
+T(7, us, unsigned short)
+T(8, us, unsigned short)
+T(9, us, unsigned short)
+T(10, us, unsigned short)
+T(11, us, unsigned short)
+T(12, us, unsigned short)
+T(13, us, unsigned short)
+T(14, us, unsigned short)
+T(15, us, unsigned short)
+T(0, ui, unsigned int)
+T(1, ui, unsigned int)
+T(2, ui, unsigned int)
+T(3, ui, unsigned int)
+T(4, ui, unsigned int)
+T(5, ui, unsigned int)
+T(6, ui, unsigned int)
+T(7, ui, unsigned int)
+T(8, ui, unsigned int)
+T(9, ui, unsigned int)
+T(10, ui, unsigned int)
+T(11, ui, unsigned int)
+T(12, ui, unsigned int)
+T(13, ui, unsigned int)
+T(14, ui, unsigned int)
+T(15, ui, unsigned int)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-2_y.c b/gcc/testsuite/gcc.dg/compat/struct-return-2_y.c
new file mode 100644
index 00000000000..50f3cc716ba
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-2_y.c
@@ -0,0 +1,142 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#define T(N, NAME, TYPE)					\
+struct S##NAME##N { TYPE i[N]; };				\
+								\
+extern struct S##NAME##N g1s##NAME##N, g2s##NAME##N;		\
+extern struct S##NAME##N g3s##NAME##N, g4s##NAME##N;		\
+extern struct S##NAME##N g5s##NAME##N, g6s##NAME##N;		\
+extern struct S##NAME##N g7s##NAME##N, g8s##NAME##N;		\
+extern struct S##NAME##N g9s##NAME##N, g10s##NAME##N;		\
+extern struct S##NAME##N g11s##NAME##N, g12s##NAME##N;		\
+extern struct S##NAME##N g13s##NAME##N, g14s##NAME##N;		\
+extern struct S##NAME##N g15s##NAME##N, g16s##NAME##N;		\
+								\
+extern void check##NAME##N (struct S##NAME##N *p, int i);	\
+								\
+void								\
+init##NAME##N (struct S##NAME##N *p, int i)			\
+{								\
+  int j;							\
+  for (j = 0; j < N; j++)					\
+    p->i[j] = i + j;						\
+}								\
+								\
+void								\
+checkg##NAME##N (void)						\
+{								\
+  check##NAME##N ( &g1s##NAME##N,  1*16);			\
+  check##NAME##N ( &g2s##NAME##N,  2*16);			\
+  check##NAME##N ( &g3s##NAME##N,  3*16);			\
+  check##NAME##N ( &g4s##NAME##N,  4*16);			\
+  check##NAME##N ( &g5s##NAME##N,  5*16);			\
+  check##NAME##N ( &g6s##NAME##N,  6*16);			\
+  check##NAME##N ( &g7s##NAME##N,  7*16);			\
+  check##NAME##N ( &g8s##NAME##N,  8*16);			\
+  check##NAME##N ( &g9s##NAME##N,  9*16);			\
+  check##NAME##N (&g10s##NAME##N, 10*16);			\
+  check##NAME##N (&g11s##NAME##N, 11*16);			\
+  check##NAME##N (&g12s##NAME##N, 12*16);			\
+  check##NAME##N (&g13s##NAME##N, 13*16);			\
+  check##NAME##N (&g14s##NAME##N, 14*16);			\
+  check##NAME##N (&g15s##NAME##N, 15*16);			\
+  check##NAME##N (&g16s##NAME##N, 16*16);			\
+}								\
+								\
+struct S##NAME##N						\
+test0##NAME##N (void)						\
+{								\
+  return g1s##NAME##N;						\
+}								\
+								\
+struct S##NAME##N						\
+test1##NAME##N (struct S##NAME##N x01)				\
+{								\
+  return x01;							\
+}								\
+								\
+struct S##NAME##N						\
+testva##NAME##N (int n, ...)					\
+{								\
+  int i;							\
+  struct S##NAME##N rslt;					\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  rslt = va_arg (ap, struct S##NAME##N);		\
+	  DEBUG_DOT;						\
+	}							\
+      va_end (ap);						\
+    }								\
+  return rslt;							\
+}
+
+T(0, uc, unsigned char)
+T(1, uc, unsigned char)
+T(2, uc, unsigned char)
+T(3, uc, unsigned char)
+T(4, uc, unsigned char)
+T(5, uc, unsigned char)
+T(6, uc, unsigned char)
+T(7, uc, unsigned char)
+T(8, uc, unsigned char)
+T(9, uc, unsigned char)
+T(10, uc, unsigned char)
+T(11, uc, unsigned char)
+T(12, uc, unsigned char)
+T(13, uc, unsigned char)
+T(14, uc, unsigned char)
+T(15, uc, unsigned char)
+T(0, us, unsigned short)
+T(1, us, unsigned short)
+T(2, us, unsigned short)
+T(3, us, unsigned short)
+T(4, us, unsigned short)
+T(5, us, unsigned short)
+T(6, us, unsigned short)
+T(7, us, unsigned short)
+T(8, us, unsigned short)
+T(9, us, unsigned short)
+T(10, us, unsigned short)
+T(11, us, unsigned short)
+T(12, us, unsigned short)
+T(13, us, unsigned short)
+T(14, us, unsigned short)
+T(15, us, unsigned short)
+T(0, ui, unsigned int)
+T(1, ui, unsigned int)
+T(2, ui, unsigned int)
+T(3, ui, unsigned int)
+T(4, ui, unsigned int)
+T(5, ui, unsigned int)
+T(6, ui, unsigned int)
+T(7, ui, unsigned int)
+T(8, ui, unsigned int)
+T(9, ui, unsigned int)
+T(10, ui, unsigned int)
+T(11, ui, unsigned int)
+T(12, ui, unsigned int)
+T(13, ui, unsigned int)
+T(14, ui, unsigned int)
+T(15, ui, unsigned int)
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-3_main.c b/gcc/testsuite/gcc.dg/compat/struct-return-3_main.c
new file mode 100644
index 00000000000..87be8a3db40
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-3_main.c
@@ -0,0 +1,13 @@
+/* Test function return values.  For this test, all struct members are
+   scalar integral types and the structs are "small": 1, 2, 4, 8, and 12
+   bytes for LP64.  */
+
+extern void struct_return_3_x (void);
+extern void exit (int);
+
+int
+main ()
+{
+  struct_return_3_x ();
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-3_x.c b/gcc/testsuite/gcc.dg/compat/struct-return-3_x.c
new file mode 100644
index 00000000000..05d1e5059bd
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-3_x.c
@@ -0,0 +1,122 @@
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+#define T(TYPE)							\
+TYPE g01##TYPE, g02##TYPE, g03##TYPE, g04##TYPE;		\
+TYPE g05##TYPE, g06##TYPE, g07##TYPE, g08##TYPE;		\
+TYPE g09##TYPE, g10##TYPE, g11##TYPE, g12##TYPE;		\
+TYPE g13##TYPE, g14##TYPE, g15##TYPE, g16##TYPE;		\
+								\
+extern void init##TYPE (TYPE *p, int i);			\
+extern void checkg##TYPE (void);				\
+extern TYPE test0##TYPE (void);					\
+extern TYPE test1##TYPE (TYPE);					\
+extern TYPE testva##TYPE (int n, ...);				\
+								\
+void								\
+testit##TYPE (void)						\
+{								\
+  TYPE rslt;							\
+  DEBUG_FPUTS (#TYPE);						\
+  init##TYPE  (&g01##TYPE,  1);					\
+  init##TYPE  (&g02##TYPE,  2);					\
+  init##TYPE  (&g03##TYPE,  3);					\
+  init##TYPE  (&g04##TYPE,  4);					\
+  init##TYPE  (&g05##TYPE,  5);					\
+  init##TYPE  (&g06##TYPE,  6);					\
+  init##TYPE  (&g07##TYPE,  7);					\
+  init##TYPE  (&g08##TYPE,  8);					\
+  init##TYPE  (&g09##TYPE,  9);					\
+  init##TYPE  (&g10##TYPE, 10);					\
+  init##TYPE  (&g11##TYPE, 11);					\
+  init##TYPE  (&g12##TYPE, 12);					\
+  init##TYPE  (&g13##TYPE, 13);					\
+  init##TYPE  (&g14##TYPE, 14);					\
+  init##TYPE  (&g15##TYPE, 15);					\
+  init##TYPE  (&g16##TYPE, 16);					\
+  checkg##TYPE ();						\
+  DEBUG_FPUTS (" test0");					\
+  rslt = test0##TYPE ();					\
+  check##TYPE (rslt, 1);					\
+  DEBUG_FPUTS (" test1");					\
+  rslt = test1##TYPE (g01##TYPE);				\
+  check##TYPE (rslt, 1);					\
+  DEBUG_FPUTS (" testva");					\
+  rslt = testva##TYPE (1, g01##TYPE);				\
+  check##TYPE (rslt, 1);					\
+  rslt = testva##TYPE (5, g01##TYPE, g02##TYPE,			\
+			  g03##TYPE, g04##TYPE,			\
+			  g05##TYPE);				\
+  check##TYPE (rslt, 5);					\
+  rslt = testva##TYPE (9, g01##TYPE, g02##TYPE,			\
+			  g03##TYPE, g04##TYPE,			\
+			  g05##TYPE, g06##TYPE,			\
+			  g07##TYPE, g08##TYPE,			\
+			  g09##TYPE);				\
+  check##TYPE (rslt, 9);					\
+  rslt = testva##TYPE (16, g01##TYPE, g02##TYPE,		\
+			  g03##TYPE, g04##TYPE,			\
+			  g05##TYPE, g06##TYPE,			\
+			  g07##TYPE, g08##TYPE,			\
+			  g09##TYPE, g10##TYPE,			\
+			  g11##TYPE, g12##TYPE,			\
+			  g13##TYPE, g14##TYPE,			\
+			  g15##TYPE, g16##TYPE);		\
+  check##TYPE (rslt, 16);					\
+  DEBUG_NL;							\
+}
+
+extern void abort (void);
+
+#include "small-struct-defs.h"
+#include "small-struct-check.h"
+
+T(Sc)
+T(Ss)
+T(Si)
+T(Scs)
+T(Ssc)
+T(Sic)
+T(Sci)
+T(Ssi)
+T(Sis)
+T(Scsi)
+T(Scis)
+T(Ssci)
+T(Ssic)
+T(Sisc)
+T(Sics)
+
+#undef T
+
+void
+struct_return_3_x ()
+{
+#define T(TYPE) testit##TYPE ();
+
+T(Sc)
+T(Ss)
+T(Si)
+T(Scs)
+T(Ssc)
+T(Sic)
+T(Sci)
+T(Ssi)
+T(Sis)
+T(Scsi)
+T(Scis)
+T(Ssci)
+T(Ssic)
+T(Sisc)
+T(Sics)
+
+#undef T
+}
diff --git a/gcc/testsuite/gcc.dg/compat/struct-return-3_y.c b/gcc/testsuite/gcc.dg/compat/struct-return-3_y.c
new file mode 100644
index 00000000000..4dc20311ca0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/compat/struct-return-3_y.c
@@ -0,0 +1,98 @@
+#include <stdarg.h>
+
+#ifdef DBG
+#include <stdio.h>
+#define DEBUG_FPUTS(x) fputs (x, stdout)
+#define DEBUG_DOT putc ('.', stdout)
+#define DEBUG_NL putc ('\n', stdout)
+#else
+#define DEBUG_FPUTS(x)
+#define DEBUG_DOT
+#define DEBUG_NL
+#endif
+
+/* Turn off checking for variable arguments with -DSKIPVA.  */
+#ifdef SKIPVA
+const int test_va = 0;
+#else
+const int test_va = 1;
+#endif
+
+#include "small-struct-defs.h"
+#include "small-struct-init.h"
+
+#define T(TYPE)							\
+extern TYPE g01##TYPE, g02##TYPE, g03##TYPE, g04##TYPE;		\
+extern TYPE g05##TYPE, g06##TYPE, g07##TYPE, g08##TYPE;		\
+extern TYPE g09##TYPE, g10##TYPE, g11##TYPE, g12##TYPE;		\
+extern TYPE g13##TYPE, g14##TYPE, g15##TYPE, g16##TYPE;		\
+								\
+extern void check##TYPE (TYPE x, int i);			\
+								\
+void								\
+checkg##TYPE (void)						\
+{								\
+  check##TYPE (g01##TYPE,  1);					\
+  check##TYPE (g02##TYPE,  2);					\
+  check##TYPE (g03##TYPE,  3);					\
+  check##TYPE (g04##TYPE,  4);					\
+  check##TYPE (g05##TYPE,  5);					\
+  check##TYPE (g06##TYPE,  6);					\
+  check##TYPE (g07##TYPE,  7);					\
+  check##TYPE (g08##TYPE,  8);					\
+  check##TYPE (g09##TYPE,  9);					\
+  check##TYPE (g10##TYPE, 10);					\
+  check##TYPE (g11##TYPE, 11);					\
+  check##TYPE (g12##TYPE, 12);					\
+  check##TYPE (g13##TYPE, 13);					\
+  check##TYPE (g14##TYPE, 14);					\
+  check##TYPE (g15##TYPE, 15);					\
+  check##TYPE (g16##TYPE, 16);					\
+}								\
+								\
+TYPE								\
+test0##TYPE (void)						\
+{								\
+  return g01##TYPE;						\
+}								\
+								\
+TYPE								\
+test1##TYPE (TYPE x01)						\
+{								\
+  return x01;							\
+}								\
+								\
+TYPE								\
+testva##TYPE (int n, ...)					\
+{								\
+  int i;							\
+  TYPE rslt;							\
+  va_list ap;							\
+  if (test_va)							\
+    {								\
+      va_start (ap, n);						\
+      for (i = 0; i < n; i++)					\
+	{							\
+	  rslt = va_arg (ap, TYPE);				\
+	  DEBUG_DOT;						\
+	}							\
+      va_end (ap);						\
+    }								\
+  return rslt;							\
+}
+
+T(Sc)
+T(Ss)
+T(Si)
+T(Scs)
+T(Ssc)
+T(Sic)
+T(Sci)
+T(Ssi)
+T(Sis)
+T(Scsi)
+T(Scis)
+T(Ssci)
+T(Ssic)
+T(Sisc)
+T(Sics)
diff --git a/gcc/testsuite/gcc.dg/cpp/cxxcom2.h b/gcc/testsuite/gcc.dg/cpp/cxxcom2.h
new file mode 100644
index 00000000000..546b8fd9217
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/cxxcom2.h
@@ -0,0 +1,4 @@
+/* A system header may contain C++ comments irrespective of mode.  */
+#pragma GCC system_header
+// C++ comment is not in C89  { dg-bogus "style comment" "bad warning" }
+
diff --git a/gcc/testsuite/gcc.dg/cpp/redef3.c b/gcc/testsuite/gcc.dg/cpp/redef3.c
new file mode 100644
index 00000000000..78ee71e6598
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/cpp/redef3.c
@@ -0,0 +1,21 @@
+/* Test for redefining macros with mismatch token count (and the oddity). */
+
+/* { dg-do preprocess } */
+/* { dg-options "-DC -DD=1 -DE" } */
+
+#define A
+#define A 1
+#define B 2 3
+#define B 2
+#define C 1
+#define D 1 2
+#define E
+
+/* { dg-warning "redefined" "redef A"      { target *-*-* } 7  }
+   { dg-warning "redefined" "redef B"      { target *-*-* } 9  }
+   { dg-warning "redefined" "redef D"      { target *-*-* } 11 }
+   { dg-warning "redefined" "redef E"      { target *-*-* } 12 }
+   { dg-warning "previous"  "prev def A"   { target *-*-* } 6  }
+   { dg-warning "previous"  "prev def B"   { target *-*-* } 8  }
+   { dg-warning "previous"  "prev def D/E" { target *-*-* } 0  }
+*/
diff --git a/gcc/testsuite/gcc.dg/dollar.c b/gcc/testsuite/gcc.dg/dollar.c
new file mode 100644
index 00000000000..43407f227ed
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/dollar.c
@@ -0,0 +1,9 @@
+/* Copyright (C) 2003 Free Software Foundation, Inc.  */
+
+/* { dg-do compile } */
+/* { dg-options -fno-dollars-in-identifiers } */
+
+/* Test that -fno-dollars-in-identifiers is honoured.
+   Neil Booth, 17 May 2003.  */
+
+int foobar$;	/* { dg-error "stray '\\$'" } */
diff --git a/gcc/testsuite/gcc.dg/duff-4.c b/gcc/testsuite/gcc.dg/duff-4.c
new file mode 100644
index 00000000000..7032285af5e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/duff-4.c
@@ -0,0 +1,60 @@
+/* Duff's device is legal C; test to make sure the compiler
+   doesn't complain about it.
+
+   Roger Sayle <roger@eyesopen.com>
+   Derived from duff-2.c.  */
+
+/* { dg-do run } */
+/* { dg-options "-O2" } */
+
+extern void abort (void);
+extern void exit (int);
+
+#if __INT_MAX__ >= 2147483647
+/* At least 32-bit integers. */
+typedef int type32;
+#else
+typedef long type32;
+#endif
+
+type32
+cksum (const unsigned char *src, unsigned long size)
+{
+  type32 ck = 0;
+
+  switch (size & 3)
+    {
+    do
+      {
+    case 0:
+	ck ^= (type32)*src++ << 24;
+	--size;
+    case 3:
+	ck ^= (type32)*src++ << 16;
+	--size;
+    case 2:
+	ck ^= (type32)*src++ << 8;
+	--size;
+    case 1:
+	ck ^= (type32)*src++;
+	--size;
+      }
+    while (size > 0);
+    }
+
+  return ck;
+}
+
+const char testpat[] = "The quick brown fox jumped over the lazy dog.";
+
+int
+main()
+{
+  type32 ck;
+
+  ck = cksum ((const unsigned char *) testpat, sizeof (testpat));
+  if (ck != 925902908)
+    abort ();
+
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/fwrapv-1.c b/gcc/testsuite/gcc.dg/fwrapv-1.c
new file mode 100644
index 00000000000..f7ddda4a3b6
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fwrapv-1.c
@@ -0,0 +1,28 @@
+/* Copyright (C) 2003 Free Software Foundation.
+
+   Test that the -fwrapv command line option is accepted and disables
+   "unsafe" optimizations that rely on undefined arithmetic overflow.
+
+   Written by Roger Sayle, 24th March 2003.  */
+
+/* { dg-do run } */
+/* { dg-options "-O2 -fwrapv" } */
+
+#include <limits.h>
+
+extern void abort ();
+
+int test(int x)
+{
+  return (2*x)/2;
+}
+
+main()
+{
+  int x = INT_MAX;
+
+  if (test(x) == x)
+    abort ();
+  return 0;
+}
+
diff --git a/gcc/testsuite/gcc.dg/fwrapv-2.c b/gcc/testsuite/gcc.dg/fwrapv-2.c
new file mode 100644
index 00000000000..cb4270e0ee2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fwrapv-2.c
@@ -0,0 +1,28 @@
+/* Copyright (C) 2003 Free Software Foundation.
+
+   Test that the -fno-wrapv command line option is accepted and enables
+   "unsafe" optimizations that rely on undefined arithmetic overflow.
+
+   Written by Roger Sayle, 31st May 2003.  */
+
+/* { dg-do run } */
+/* { dg-options "-O2 -fno-wrapv" } */
+
+#include <limits.h>
+
+extern void abort ();
+
+int test(int x)
+{
+  return (2*x)/2;
+}
+
+main()
+{
+  int x = INT_MAX;
+
+  if (test(x) != x)
+    abort ();
+  return 0;
+}
+
diff --git a/gcc/testsuite/gcc.dg/i386-loop-3.c b/gcc/testsuite/gcc.dg/i386-loop-3.c
new file mode 100644
index 00000000000..c1b4bcea5be
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/i386-loop-3.c
@@ -0,0 +1,76 @@
+/* PR target/11044 */
+/* Originator: Tim McGrath <misty-@charter.net> */
+/* Testcase contributed by Eric Botcazou <ebotcazou@libertysurf.fr> */
+/* { dg-do run { target i?86-*-* } } */
+/* { dg-options "-mtune=k6 -O3 -ffast-math -funroll-loops" } */
+
+typedef struct
+{
+        unsigned char colormod;
+} entity_state_t;
+
+typedef struct
+{
+        int num_entities;
+        entity_state_t *entities;
+} packet_entities_t;
+
+typedef struct
+{
+        double senttime;
+        float ping_time;
+        packet_entities_t entities;
+} client_frame_t;
+
+typedef enum
+{
+        cs_free,
+        cs_server,
+        cs_zombie,
+        cs_connected,
+        cs_spawned
+} sv_client_state_t;
+
+typedef struct client_s
+{
+        sv_client_state_t state;
+        int ping;
+        client_frame_t frames[64];
+} client_t;
+
+int CalcPing (client_t *cl)
+{
+        float ping;
+        int count, i;
+        register client_frame_t *frame;
+
+        if (cl->state == cs_server)
+                return cl->ping;
+        ping = 0;
+        count = 0;
+        for (frame = cl->frames, i = 0; i < 64; i++, frame++) {
+                if (frame->ping_time > 0) {
+                        ping += frame->ping_time;
+                        count++;
+                }
+        }
+        if (!count)
+                return 9999;
+        ping /= count;
+
+        return ping * 1000;
+}
+
+int main(void)
+{
+   client_t cl;
+
+   memset(&cl, 0, sizeof(cl));
+
+   cl.frames[0].ping_time = 1.0f;
+
+   if (CalcPing(&cl) != 1000)
+     abort();
+
+   return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/string-opt-1.c b/gcc/testsuite/gcc.dg/string-opt-1.c
new file mode 100644
index 00000000000..bc0f30098fa
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/string-opt-1.c
@@ -0,0 +1,11 @@
+/* Ensure mempcpy is not "optimized" into memcpy followed by addition.  */
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+void *
+fn (char *x, char *y, int z)
+{
+  return __builtin_mempcpy (x, y, z);
+}
+
+/* { dg-final { scan-assembler-not "memcpy" } } */
diff --git a/gcc/testsuite/gcc.dg/tls/opt-1.c b/gcc/testsuite/gcc.dg/tls/opt-1.c
new file mode 100644
index 00000000000..8523c762a2e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tls/opt-1.c
@@ -0,0 +1,28 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fPIC" } */
+/* { dg-options "-O2 -fPIC -mtune=i686" { target i?86-*-* } } */
+
+extern __thread int thr;
+
+static int x;
+
+static void
+bar (void)
+{
+  x = 1;
+}
+
+static void
+#ifdef __i386__
+__attribute__ ((regparm (3)))
+#endif
+foo (const char *x, void *y, int *z)
+{
+  bar ();
+}
+
+void
+test (const char *x, void *y)
+{
+  foo (x, y, &thr);
+}
diff --git a/gcc/testsuite/gcc.dg/tls/opt-6.c b/gcc/testsuite/gcc.dg/tls/opt-6.c
new file mode 100644
index 00000000000..de04c1cb3fc
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tls/opt-6.c
@@ -0,0 +1,70 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+extern void abort (void);
+extern void exit (int);
+
+struct A
+{
+  char a;
+  int b;
+  long long c;
+};
+extern __thread struct A a1, a2, a3, a4;
+extern struct A *f1a (void);
+extern struct A *f2a (void);
+extern struct A *f3a (void);
+extern struct A *f4a (void);
+extern struct A *f5a (void);
+extern struct A *f6a (void);
+extern struct A *f7a (void);
+extern struct A *f8a (void);
+extern struct A *f9a (void);
+extern struct A *f10a (void);
+extern int f1b (void);
+extern int f2b (void);
+extern int f3b (void);
+extern int f4b (void);
+extern int f5b (void);
+extern int f6b (void);
+extern int f7b (void);
+extern int f8b (void);
+extern int f9b (void);
+extern int f10b (void);
+extern void check1 (void);
+extern void check2 (void);
+__thread int dummy = 12;
+__thread struct A local = { 1, 2, 3 };
+
+int
+main (void)
+{
+  struct A *p;
+
+  if (local.a != 1 || local.b != 2 || local.c != 3)
+    abort ();
+  if (a1.a != 4 || a1.b != 5 || a1.c != 6)
+    abort ();
+  if (a2.a != 22 || a2.b != 23 || a2.c != 24)
+    abort ();
+  if (a3.a != 10 || a3.b != 11 || a3.c != 12)
+    abort ();
+  if (a4.a != 25 || a4.b != 26 || a4.c != 27)
+    abort ();
+  check1 ();
+  check2 ();
+  if (f1a () != &a1 || f2a () != &a2 || f3a () != &a3 || f4a () != &a4)
+    abort ();
+  p = f5a (); if (p->a != 16 || p->b != 16 + 1 || p->c != 16 + 2)
+    abort ();
+  p = f6a (); if (p->a != 19 || p->b != 19 + 1 || p->c != 19 + 2)
+    abort ();
+  if (f7a () != &a2 || f8a () != &a4)
+    abort ();
+  p = f9a (); if (p->a != 28 || p->b != 28 + 1 || p->c != 28 + 2)
+    abort ();
+  p = f10a (); if (p->a != 31 || p->b != 31 + 1 || p->c != 31 + 2)
+    abort ();
+
+  exit (0);
+}
diff --git a/gcc/testsuite/gcc.dg/torture/builtin-noret-1.c b/gcc/testsuite/gcc.dg/torture/builtin-noret-1.c
new file mode 100644
index 00000000000..2328b87bd03
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/builtin-noret-1.c
@@ -0,0 +1,73 @@
+/* Test for builtin noreturn attributes.  */
+/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
+/* { dg-options "-multiply_defined suppress" { target powerpc-*-darwin* } } */
+/* { dg-do link } */
+
+extern void abort (void);
+extern void exit (int);
+extern void _exit (int);
+extern void _Exit (int);
+
+extern void tabort (void);
+extern void texit (void);
+extern void t_exit (void);
+extern void t_Exit (void);
+
+extern void link_failure (void);
+
+int
+main (void)
+{
+  volatile int i = 0;
+  if (i)
+    tabort ();
+  if (i)
+    texit ();
+  if (i)
+    t_exit ();
+  if (i)
+    t_Exit ();
+  exit (0);
+}
+
+void
+tabort (void)
+{
+  abort ();
+  link_failure ();
+}
+
+void
+texit (void)
+{
+  exit (1);
+  link_failure ();
+}
+
+void
+t_exit (void)
+{
+  _exit (1);
+  link_failure ();
+}
+
+/* Some non-Unix libcs might not have _exit.  */
+void
+_exit (int i)
+{
+  abort ();
+}
+
+void
+t_Exit (void)
+{
+  _Exit (1);
+  link_failure ();
+}
+
+/* Some libcs might not have _Exit.  */
+void
+_Exit (int i)
+{
+  abort ();
+}
diff --git a/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c b/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c
new file mode 100644
index 00000000000..9b94a4c2a8e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/builtin-noret-2.c
@@ -0,0 +1,73 @@
+/* Test for builtin noreturn attributes when the visible declarations
+   are function-local.  Modified from builtin-noret-1.c by Zack Weinberg
+   <zack@codesourcery.com>.  */
+/* { dg-options "-multiply_defined suppress" { target powerpc-*-darwin* } } */
+/* { dg-do link } */
+
+extern void tabort (void);
+extern void texit (void);
+extern void t_exit (void);
+extern void t_Exit (void);
+
+extern void link_failure (void);
+
+int
+main (void)
+{
+  volatile int i = 0;
+  if (i)
+    tabort ();
+  if (i)
+    texit ();
+  if (i)
+    t_exit ();
+  if (i)
+    t_Exit ();
+  exit (0);
+}
+
+void
+tabort (void)
+{
+  extern void abort (void);
+  abort ();
+  link_failure ();
+}
+
+void
+texit (void)
+{
+  extern void exit (int);
+  exit (1);
+  link_failure ();
+}
+
+void
+t_exit (void)
+{
+  extern void _exit (int);
+  _exit (1);
+  link_failure ();
+}
+
+/* Some non-Unix libcs might not have _exit.  */
+void
+_exit (int i)
+{
+  abort ();
+}
+
+void
+t_Exit (void)
+{
+  extern void _Exit (int);
+  _Exit (1);
+  link_failure ();
+}
+
+/* Some libcs might not have _Exit.  */
+void
+_Exit (int i)
+{
+  abort ();
+}
diff --git a/gcc/testsuite/gcc.dg/unroll-1.c b/gcc/testsuite/gcc.dg/unroll-1.c
new file mode 100644
index 00000000000..1e2dd09ebec
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/unroll-1.c
@@ -0,0 +1,26 @@
+/* PR optimization/8599 */
+/* { dg-do run } */
+/* { dg-options "-O2 -funroll-loops" } */
+/* { dg-options "-mtune=k6 -O2 -funroll-loops" { target i?86-*-* } } */
+
+extern void abort (void);
+
+int array[6] = { 1,2,3,4,5,6 };
+
+void foo()
+{
+  int i;
+
+  for (i = 0; i < 5; i++)
+    array[i] = 0;
+}
+
+int main()
+{
+  foo();
+  if (array[0] || array [1] || array[2] || array[3] || array[4])
+    abort ();
+  if (array[5] != 6)
+    abort ();
+  return 0;
+}
author	no-author <no-author@gcc.gnu.org>	2003-06-03 16:53:07 +0000
committer	no-author <no-author@gcc.gnu.org>	2003-06-03 16:53:07 +0000
commit	6a595b409c4a16bf07bddc89d6713105109548fd (patch)
tree	f61762dde1bdadf0d316d2d2a7fff23eab68fc73 /gcc/testsuite/gcc.dg
parent	6b9957dfa3e1468c5c35aea4c39613d562a7a5c9 (diff)