OSDN Git Service

* config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
authorjanis <janis@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 24 Apr 2007 19:29:34 +0000 (19:29 +0000)
committerjanis <janis@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 24 Apr 2007 19:29:34 +0000 (19:29 +0000)
expand on the comment about _Decimal128 arguments and check the
integer result of the modulus operation; for 64-bit ELF ABI, ensure
that _Decimal128 argument uses even/odd register pair.
(function_arg): For 32-bit ELF ABI, expand on the comment about
_Decimal128 arguments and check the integer result of the modulus
operation; for 64-bit ELF ABI, ensure that _Decimal128 argument
uses even/odd register pair.
testsuite/
* gcc.target/powerpc/ppc32-abi-dfp-1.c: New test.
* gcc.target/powerpc/ppc64-abi-dfp-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@124116 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/config/rs6000/rs6000.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/powerpc/ppc32-abi-dfp-1.c [new file with mode: 0644]
gcc/testsuite/gcc.target/powerpc/ppc64-abi-dfp-1.c [new file with mode: 0644]

index 451472e..7f72336 100644 (file)
@@ -1,3 +1,11 @@
+2007-04-24  Janis Johnson  <janis187@us.ibm.com>
+
+       * config/rs6000/rs6000.c (function_arg_advance): For 32-bit ELF ABI,
+       expand on the comment about _Decimal128 arguments and check the
+       integer result of the modulus operation; for 64-bit ELF ABI, ensure
+       that _Decimal128 argument uses even/odd register pair.
+       (function_arg): Ditto.
+
 2007-04-24  Hui-May Chang <hm.chang@apple.com>
 
        * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
 2007-04-24  Hui-May Chang <hm.chang@apple.com>
 
        * reload1.c (merge_assigned_reloads) : Do not merge a RELOAD_OTHER
index 1e70996..9172e28 100644 (file)
@@ -5047,8 +5047,9 @@ function_arg_advance (CUMULATIVE_ARGS *cum, enum machine_mode mode,
              || mode == DDmode || mode == TDmode
              || (mode == TFmode && !TARGET_IEEEQUAD)))
        {
              || mode == DDmode || mode == TDmode
              || (mode == TFmode && !TARGET_IEEEQUAD)))
        {
-         /* _Decimal128 must use an even/odd register pair.  */
-         if (mode == TDmode && cum->fregno % 2)
+         /* _Decimal128 must use an even/odd register pair.  This assumes
+            that the register number is odd when fregno is odd.  */
+         if (mode == TDmode && (cum->fregno % 2) == 1)
            cum->fregno++;
 
          if (cum->fregno + (mode == TFmode || mode == TDmode ? 1 : 0)
            cum->fregno++;
 
          if (cum->fregno + (mode == TFmode || mode == TDmode ? 1 : 0)
@@ -5111,7 +5112,14 @@ function_arg_advance (CUMULATIVE_ARGS *cum, enum machine_mode mode,
       if (SCALAR_FLOAT_MODE_P (mode)
          && mode != SDmode
          && TARGET_HARD_FLOAT && TARGET_FPRS)
       if (SCALAR_FLOAT_MODE_P (mode)
          && mode != SDmode
          && TARGET_HARD_FLOAT && TARGET_FPRS)
-       cum->fregno += (GET_MODE_SIZE (mode) + 7) >> 3;
+       {
+         /* _Decimal128 must be passed in an even/odd float register pair.
+            This assumes that the register number is odd when fregno is
+            odd.  */
+         if (mode == TDmode && (cum->fregno % 2) == 1)
+           cum->fregno++;
+         cum->fregno += (GET_MODE_SIZE (mode) + 7) >> 3;
+       }
 
       if (TARGET_DEBUG_ARG)
        {
 
       if (TARGET_DEBUG_ARG)
        {
@@ -5603,8 +5611,9 @@ function_arg (CUMULATIVE_ARGS *cum, enum machine_mode mode,
              || (mode == TFmode && !TARGET_IEEEQUAD)
              || mode == DDmode || mode == TDmode))
        {
              || (mode == TFmode && !TARGET_IEEEQUAD)
              || mode == DDmode || mode == TDmode))
        {
-         /* _Decimal128 must use an even/odd register pair.  */
-         if (mode == TDmode && cum->fregno % 2)
+         /* _Decimal128 must use an even/odd register pair.  This assumes
+            that the register number is odd when fregno is odd.  */
+         if (mode == TDmode && (cum->fregno % 2) == 1)
            cum->fregno++;
 
          if (cum->fregno + (mode == TFmode || mode == TDmode ? 1 : 0)
            cum->fregno++;
 
          if (cum->fregno + (mode == TFmode || mode == TDmode ? 1 : 0)
@@ -5638,6 +5647,11 @@ function_arg (CUMULATIVE_ARGS *cum, enum machine_mode mode,
     {
       int align_words = rs6000_parm_start (mode, type, cum->words);
 
     {
       int align_words = rs6000_parm_start (mode, type, cum->words);
 
+      /* _Decimal128 must be passed in an even/odd float register pair.
+        This assumes that the register number is odd when fregno is odd.  */
+      if (mode == TDmode && (cum->fregno % 2) == 1)
+       cum->fregno++;
+
       if (USE_FP_FOR_ARG_P (cum, mode, type))
        {
          rtx rvec[GP_ARG_NUM_REG + 1];
       if (USE_FP_FOR_ARG_P (cum, mode, type))
        {
          rtx rvec[GP_ARG_NUM_REG + 1];
index 59c10fe..0504789 100644 (file)
@@ -1,4 +1,9 @@
-2007-04-24  Hui-May Chang <hm.chang@apple.com>
+2007-04-24  Janis Johnson  <janis187@us.ibm.com>
+
+       * gcc.target/powerpc/ppc32-abi-dfp-1.c: New test.
+       * gcc.target/powerpc/ppc64-abi-dfp-1.c: New test.
+
+2007-04-24  Hui-May Chang  <hm.chang@apple.com>
 
        * gcc.target/i386/reload-1.c. New.
 
 
        * gcc.target/i386/reload-1.c. New.
 
diff --git a/gcc/testsuite/gcc.target/powerpc/ppc32-abi-dfp-1.c b/gcc/testsuite/gcc.target/powerpc/ppc32-abi-dfp-1.c
new file mode 100644 (file)
index 0000000..15f3372
--- /dev/null
@@ -0,0 +1,232 @@
+/* { dg-do run { target { powerpc*-*-* && { ilp32 && dfprt } } } } */
+/* { dg-options "-std=gnu99 -O2 -fno-strict-aliasing" } */
+
+/* Testcase to check for ABI compliance of parameter passing
+   for the PowerPC ELF ABI for decimal float values.  */
+
+extern void abort (void);
+int failcnt = 0;
+
+/* Support compiling the test to report individual failures; default is
+   to abort as soon as a check fails.  */
+#ifdef DBG
+#include <stdio.h>
+#define FAILURE { printf ("failed at line %d\n", __LINE__); failcnt++; }
+#else
+#define FAILURE abort ();
+#endif
+
+typedef struct
+{
+  int pad;
+  _Decimal32 d;
+} d32parm_t;
+
+typedef struct
+{
+  unsigned int gprs[8];
+  double fprs[8];
+} reg_parms_t;
+
+reg_parms_t gparms;
+
+
+/* Testcase could break on future gcc's, if parameter regs
+   are changed before this asm.  */
+
+#define save_parms(lparms)                             \
+    asm volatile ("lis 11,gparms@ha\n\t"               \
+                  "la 11,gparms@l(11)\n\t"             \
+                  "st 3,0(11)\n\t"                     \
+                 "st 4,4(11)\n\t"                      \
+                 "st 5,8(11)\n\t"                      \
+                 "st 6,12(11)\n\t"                     \
+                 "st 7,16(11)\n\t"                     \
+                 "st 8,20(11)\n\t"                     \
+                 "st 9,24(11)\n\t"                     \
+                 "st 10,28(11)\n\t"                    \
+                  "stfd 1,32(11)\n\t"                  \
+                 "stfd 2,40(11)\n\t"                   \
+                 "stfd 3,48(11)\n\t"                   \
+                 "stfd 4,56(11)\n\t"                   \
+                 "stfd 5,64(11)\n\t"                   \
+                 "stfd 6,72(11)\n\t"                   \
+                 "stfd 7,80(11)\n\t"                   \
+                 "stfd 8,88(11)\n\t":::"11", "memory");  \
+                  lparms = gparms;
+
+typedef struct sf
+{
+  struct sf *backchain;
+  int a1;
+  unsigned int slot[200];
+} stack_frame_t;
+
+/* Fill up floating point registers with double arguments, forcing
+   decimal float arguments into the parameter save area.  */
+void __attribute__ ((noinline))
+func0 (double a1, double a2, double a3, double a4, double a5,
+       double a6, double a7, double a8, _Decimal64 a9, _Decimal128 a10)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != lparms.fprs[0]) FAILURE
+  if (a2 != lparms.fprs[1]) FAILURE
+  if (a3 != lparms.fprs[2]) FAILURE
+  if (a4 != lparms.fprs[3]) FAILURE
+  if (a5 != lparms.fprs[4]) FAILURE
+  if (a6 != lparms.fprs[5]) FAILURE
+  if (a7 != lparms.fprs[6]) FAILURE
+  if (a8 != lparms.fprs[7]) FAILURE
+  if (a9 != *(_Decimal64 *)&sp->slot[0]) FAILURE
+  if (a10 != *(_Decimal128 *)&sp->slot[2]) FAILURE
+}
+
+/* Alternate 64-bit and 128-bit decimal float arguments, checking that
+   _Decimal128 is always passed in even/odd register pairs.  */
+void __attribute__ ((noinline))
+func1 (_Decimal64 a1, _Decimal128 a2, _Decimal64 a3, _Decimal128 a4,
+       _Decimal64 a5, _Decimal128 a6, _Decimal64 a7, _Decimal128 a8)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != *(_Decimal64 *)&lparms.fprs[0]) FAILURE    /* f1 */
+  if (a2 != *(_Decimal128 *)&lparms.fprs[1]) FAILURE   /* f2 & f3 */
+  if (a3 != *(_Decimal64 *)&lparms.fprs[3]) FAILURE    /* f4 */
+  if (a4 != *(_Decimal128 *)&lparms.fprs[5]) FAILURE   /* f6 & f7 */
+  if (a5 != *(_Decimal64 *)&lparms.fprs[7]) FAILURE    /* f8 */
+  if (a6 != *(_Decimal128 *)&sp->slot[0]) FAILURE
+  if (a7 != *(_Decimal64 *)&sp->slot[4]) FAILURE
+  if (a8 != *(_Decimal128 *)&sp->slot[6]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func2 (_Decimal128 a1, _Decimal64 a2, _Decimal128 a3, _Decimal64 a4,
+       _Decimal128 a5, _Decimal64 a6, _Decimal128 a7, _Decimal64 a8)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != *(_Decimal128 *)&lparms.fprs[1]) FAILURE   /* f2 & f3 */
+  if (a2 != *(_Decimal64 *)&lparms.fprs[3]) FAILURE    /* f4 */
+  if (a3 != *(_Decimal128 *)&lparms.fprs[5]) FAILURE   /* f6 & f7 */
+  if (a4 != *(_Decimal64 *)&lparms.fprs[7]) FAILURE    /* f8 */
+  if (a5 != *(_Decimal128 *)&sp->slot[0]) FAILURE
+  if (a6 != *(_Decimal64 *)&sp->slot[4]) FAILURE
+  if (a7 != *(_Decimal128 *)&sp->slot[6]) FAILURE
+  if (a8 != *(_Decimal64 *)&sp->slot[10]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func3 (_Decimal64 a1, _Decimal128 a2, _Decimal64 a3, _Decimal128 a4,
+       _Decimal64 a5)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != *(_Decimal64 *)&lparms.fprs[0]) FAILURE    /* f1 */
+  if (a2 != *(_Decimal128 *)&lparms.fprs[1]) FAILURE   /* f2 & f3 */
+  if (a3 != *(_Decimal64 *)&lparms.fprs[3]) FAILURE    /* f4 */
+  if (a4 != *(_Decimal128 *)&lparms.fprs[5]) FAILURE   /* f6 & f7 */
+  if (a5 != *(_Decimal128 *)&sp->slot[0]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func4 (_Decimal32 a1, _Decimal32 a2, _Decimal32 a3, _Decimal32 a4,
+       _Decimal32 a5, _Decimal32 a6, _Decimal32 a7, _Decimal32 a8,
+       _Decimal32 a9, _Decimal32 a10, _Decimal32 a11, _Decimal32 a12,
+       _Decimal32 a13, _Decimal32 a14, _Decimal32 a15, _Decimal32 a16)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  /* _Decimal32 is passed in the lower half of an FPR, or in parameter slot.  */
+  if (a1 != ((d32parm_t *)&lparms.fprs[0])->d) FAILURE         /* f1  */
+  if (a2 != ((d32parm_t *)&lparms.fprs[1])->d) FAILURE         /* f2  */
+  if (a3 != ((d32parm_t *)&lparms.fprs[2])->d) FAILURE         /* f3  */
+  if (a4 != ((d32parm_t *)&lparms.fprs[3])->d) FAILURE         /* f4  */
+  if (a5 != ((d32parm_t *)&lparms.fprs[4])->d) FAILURE         /* f5  */
+  if (a6 != ((d32parm_t *)&lparms.fprs[5])->d) FAILURE         /* f6  */
+  if (a7 != ((d32parm_t *)&lparms.fprs[6])->d) FAILURE         /* f7  */
+  if (a8 != ((d32parm_t *)&lparms.fprs[7])->d) FAILURE         /* f8  */
+  if (a9 != *(_Decimal32 *)&sp->slot[0]) FAILURE
+  if (a10 != *(_Decimal32 *)&sp->slot[1]) FAILURE
+  if (a11 != *(_Decimal32 *)&sp->slot[2]) FAILURE
+  if (a12 != *(_Decimal32 *)&sp->slot[3]) FAILURE
+  if (a13 != *(_Decimal32 *)&sp->slot[4]) FAILURE
+  if (a14 != *(_Decimal32 *)&sp->slot[5]) FAILURE
+  if (a15 != *(_Decimal32 *)&sp->slot[6]) FAILURE
+  if (a16 != *(_Decimal32 *)&sp->slot[7]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func5 (_Decimal32 a1, _Decimal64 a2, _Decimal128 a3,
+       _Decimal32 a4, _Decimal64 a5, _Decimal128 a6,
+       _Decimal32 a7, _Decimal64 a8, _Decimal128 a9,
+       _Decimal32 a10, _Decimal64 a11, _Decimal128 a12)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != ((d32parm_t *)&lparms.fprs[0])->d) FAILURE         /* f1      */
+  if (a2 != *(_Decimal64 *)&lparms.fprs[1]) FAILURE            /* f2      */
+  if (a3 != *(_Decimal128 *)&lparms.fprs[3]) FAILURE           /* f4 & f5 */
+  if (a4 != ((d32parm_t *)&lparms.fprs[5])->d) FAILURE         /* f6      */
+  if (a5 != *(_Decimal64 *)&lparms.fprs[6]) FAILURE            /* f7      */
+
+  if (a6 != *(_Decimal128 *)&sp->slot[0]) FAILURE
+  if (a7 != *(_Decimal32 *)&sp->slot[4]) FAILURE
+  if (a8 != *(_Decimal64 *)&sp->slot[6]) FAILURE
+  if (a9 != *(_Decimal128 *)&sp->slot[8]) FAILURE
+  if (a10 != *(_Decimal32 *)&sp->slot[12]) FAILURE
+  if (a11 != *(_Decimal64 *)&sp->slot[14]) FAILURE
+  if (a12 != *(_Decimal128 *)&sp->slot[16]) FAILURE
+}
+
+int
+main ()
+{
+  func0 (1., 2., 3., 4., 5., 6., 7., 8., 9.dd, 10.dl);
+  func1 (1.dd, 2.dl, 3.dd, 4.dl, 5.dd, 6.dl, 7.dd, 8.dl);
+  func2 (1.dl, 2.dd, 3.dl, 4.dd, 5.dl, 6.dd, 7.dl, 8.dd);
+  func3 (1.dd, 2.dl, 3.dd, 4.dl, 5.dl);
+#if 0
+  /* _Decimal32 doesn't yet follow the ABI; enable this when it does.  */
+  func4 (501.2df, 502.2df, 503.2df, 504.2df, 505.2df, 506.2df, 507.2df,
+        508.2df, 509.2df, 510.2df, 511.2df, 512.2df, 513.2df, 514.2df,
+        515.2df, 516.2df);
+  func5 (601.2df, 602.2dd, 603.2dl, 604.2df, 605.2dd, 606.2dl,
+        607.2df, 608.2dd, 609.2dl, 610.2df, 611.2dd, 612.2dl);
+#endif
+
+  if (failcnt != 0)
+    abort ();
+
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.target/powerpc/ppc64-abi-dfp-1.c b/gcc/testsuite/gcc.target/powerpc/ppc64-abi-dfp-1.c
new file mode 100644 (file)
index 0000000..3badf7f
--- /dev/null
@@ -0,0 +1,318 @@
+/* { dg-do run { target { powerpc64-*-* && { lp64 && dfprt } } } } */
+/* { dg-options "-std=gnu99 -O2 -fno-strict-aliasing" } */
+
+/* Testcase to check for ABI compliance of parameter passing
+   for the PowerPC64 ELF ABI for decimal float values.  */
+
+extern void abort (void);
+int failcnt = 0;
+
+/* Support compiling the test to report individual failures; default is
+   to abort as soon as a check fails.  */
+#ifdef DBG
+#include <stdio.h>
+#define FAILURE { printf ("failed at line %d\n", __LINE__); failcnt++; }
+#else
+#define FAILURE abort ();
+#endif
+
+typedef struct
+{
+  int pad;
+  _Decimal32 d;
+} d32parm_t;
+
+typedef struct
+{
+  unsigned long gprs[8];
+  double fprs[13];
+} reg_parms_t;
+
+reg_parms_t gparms;
+
+
+/* Testcase could break on future gcc's, if parameter regs
+   are changed before this asm.  */
+
+#ifndef __MACH__
+#define save_parms(lparms)                             \
+    asm volatile ("ld 11,gparms@got(2)\n\t"                \
+                  "std 3,0(11)\n\t"                    \
+                 "std 4,8(11)\n\t"                     \
+                 "std 5,16(11)\n\t"                    \
+                 "std 6,24(11)\n\t"                    \
+                 "std 7,32(11)\n\t"                    \
+                 "std 8,40(11)\n\t"                    \
+                 "std 9,48(11)\n\t"                    \
+                 "std 10,56(11)\n\t"                   \
+                  "stfd 1,64(11)\n\t"                  \
+                 "stfd 2,72(11)\n\t"                   \
+                 "stfd 3,80(11)\n\t"                   \
+                 "stfd 4,88(11)\n\t"                   \
+                 "stfd 5,96(11)\n\t"                   \
+                 "stfd 6,104(11)\n\t"                  \
+                 "stfd 7,112(11)\n\t"                  \
+                 "stfd 8,120(11)\n\t"                  \
+                 "stfd 9,128(11)\n\t"                  \
+                 "stfd 10,136(11)\n\t"                 \
+                 "stfd 11,144(11)\n\t"                 \
+                 "stfd 12,152(11)\n\t"                 \
+                 "stfd 13,160(11)\n\t":::"11", "memory");  \
+                  lparms = gparms;
+#else
+#define save_parms(lparms)                             \
+    asm volatile ("ld r11,gparms@got(r2)\n\t"           \
+                  "std r3,0(r11)\n\t"                  \
+                 "std r4,8(r11)\n\t"                   \
+                 "std r5,16(r11)\n\t"                  \
+                 "std r6,24(r11)\n\t"                  \
+                 "std r7,32(r11)\n\t"                  \
+                 "std r8,40(r11)\n\t"                  \
+                 "std r9,48(r11)\n\t"                  \
+                 "std r10,56(r11)\n\t"                 \
+                  "stfd f1,64(r11)\n\t"                        \
+                 "stfd f2,72(r11)\n\t"                 \
+                 "stfd f3,80(r11)\n\t"                 \
+                 "stfd f4,88(r11)\n\t"                 \
+                 "stfd f5,96(r11)\n\t"                 \
+                 "stfd f6,104(r11)\n\t"                \
+                 "stfd f7,112(r11)\n\t"                \
+                 "stfd f8,120(r11)\n\t"                \
+                 "stfd f9,128(r11)\n\t"                \
+                 "stfd f10,136(r11)\n\t"               \
+                 "stfd f11,144(r11)\n\t"               \
+                 "stfd f12,152(r11)\n\t"               \
+                 "stfd f13,160(r11)\n\t":::"r11", "memory");  \
+                  lparms = gparms;
+#endif
+
+typedef struct sf
+{
+  struct sf *backchain;
+  long a1;
+  long a2;
+  long a3;
+  long a4;
+  long a5;
+  unsigned long slot[100];
+} stack_frame_t;
+
+/* Fill up floating point registers with double arguments, forcing
+   decimal float arguments into the parameter save area.  */
+void __attribute__ ((noinline))
+func0 (double a1, double a2, double a3, double a4, double a5, double a6,
+       double a7, double a8, double a9, double a10, double a11, double a12,
+       double a13, double a14, 
+       _Decimal64 a15, _Decimal128 a16, _Decimal64 a17)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != lparms.fprs[0]) FAILURE
+  if (a2 != lparms.fprs[1]) FAILURE
+  if (a3 != lparms.fprs[2]) FAILURE
+  if (a4 != lparms.fprs[3]) FAILURE
+  if (a5 != lparms.fprs[4]) FAILURE
+  if (a6 != lparms.fprs[5]) FAILURE
+  if (a7 != lparms.fprs[6]) FAILURE
+  if (a8 != lparms.fprs[7]) FAILURE
+  if (a9 != lparms.fprs[8]) FAILURE
+  if (a10 != lparms.fprs[9]) FAILURE
+  if (a11 != lparms.fprs[10]) FAILURE
+  if (a12 != lparms.fprs[11]) FAILURE
+  if (a13 != lparms.fprs[12]) FAILURE
+  if (a14 != *(double *)&sp->slot[13]) FAILURE
+  if (a15 != *(_Decimal64 *)&sp->slot[14]) FAILURE
+  if (a16 != *(_Decimal128 *)&sp->slot[15]) FAILURE
+  if (a17 != *(_Decimal64 *)&sp->slot[17]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func1 (double a1, double a2, double a3, double a4, double a5, double a6,
+       double a7, double a8, double a9, double a10, double a11, double a12,
+       double a13, _Decimal128 a14)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != lparms.fprs[0]) FAILURE
+  if (a2 != lparms.fprs[1]) FAILURE
+  if (a3 != lparms.fprs[2]) FAILURE
+  if (a4 != lparms.fprs[3]) FAILURE
+  if (a5 != lparms.fprs[4]) FAILURE
+  if (a6 != lparms.fprs[5]) FAILURE
+  if (a7 != lparms.fprs[6]) FAILURE
+  if (a8 != lparms.fprs[7]) FAILURE
+  if (a9 != lparms.fprs[8]) FAILURE
+  if (a10 != lparms.fprs[9]) FAILURE
+  if (a11 != lparms.fprs[10]) FAILURE
+  if (a12 != lparms.fprs[11]) FAILURE
+  if (a13 != lparms.fprs[12]) FAILURE
+  if (a14 != *(_Decimal128 *)&sp->slot[13]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func2 (double a1, double a2, double a3, double a4, double a5, double a6,
+       double a7, double a8, double a9, double a10, double a11, double a12,
+       _Decimal128 a13)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != lparms.fprs[0]) FAILURE
+  if (a2 != lparms.fprs[1]) FAILURE
+  if (a3 != lparms.fprs[2]) FAILURE
+  if (a4 != lparms.fprs[3]) FAILURE
+  if (a5 != lparms.fprs[4]) FAILURE
+  if (a6 != lparms.fprs[5]) FAILURE
+  if (a7 != lparms.fprs[6]) FAILURE
+  if (a8 != lparms.fprs[7]) FAILURE
+  if (a9 != lparms.fprs[8]) FAILURE
+  if (a10 != lparms.fprs[9]) FAILURE
+  if (a11 != lparms.fprs[10]) FAILURE
+  if (a12 != lparms.fprs[11]) FAILURE
+  if (a13 != *(_Decimal128 *)&sp->slot[12]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func3 (_Decimal64 a1, _Decimal128 a2, _Decimal64 a3, _Decimal128 a4,
+       _Decimal64 a5, _Decimal128 a6, _Decimal64 a7, _Decimal128 a8,
+       _Decimal64 a9, _Decimal128 a10)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != *(_Decimal64 *)&lparms.fprs[0]) FAILURE    /* f1        */
+  if (a2 != *(_Decimal128 *)&lparms.fprs[1]) FAILURE   /* f2 & f3   */
+  if (a3 != *(_Decimal64 *)&lparms.fprs[3]) FAILURE    /* f4        */
+  if (a4 != *(_Decimal128 *)&lparms.fprs[5]) FAILURE   /* f6 & f7   */
+  if (a5 != *(_Decimal64 *)&lparms.fprs[7]) FAILURE    /* f8        */
+  if (a6 != *(_Decimal128 *)&lparms.fprs[9]) FAILURE   /* f10 & f11 */
+  if (a7 != *(_Decimal64 *)&lparms.fprs[11]) FAILURE   /* f12       */
+  if (a8 != *(_Decimal128 *)&sp->slot[10]) FAILURE
+  if (a9 != *(_Decimal64 *)&sp->slot[12]) FAILURE
+  if (a10 != *(_Decimal128 *)&sp->slot[13]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func4 (_Decimal128 a1, _Decimal64 a2, _Decimal128 a3, _Decimal64 a4,
+       _Decimal128 a5, _Decimal64 a6, _Decimal128 a7, _Decimal64 a8)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != *(_Decimal128 *)&lparms.fprs[1]) FAILURE   /* f2 & f3   */
+  if (a2 != *(_Decimal64 *)&lparms.fprs[3]) FAILURE    /* f4        */
+  if (a3 != *(_Decimal128 *)&lparms.fprs[5]) FAILURE   /* f6 & f7   */
+  if (a4 != *(_Decimal64 *)&lparms.fprs[7]) FAILURE    /* f8        */
+  if (a5 != *(_Decimal128 *)&lparms.fprs[9]) FAILURE   /* f10 & f11 */
+  if (a6 != *(_Decimal64 *)&lparms.fprs[11]) FAILURE   /* f12       */
+  if (a7 != *(_Decimal128 *)&sp->slot[9]) FAILURE
+  if (a8 != *(_Decimal64 *)&sp->slot[11]) FAILURE
+}
+
+void __attribute__ ((noinline))
+func5 (_Decimal32 a1, _Decimal32 a2, _Decimal32 a3, _Decimal32 a4,
+       _Decimal32 a5, _Decimal32 a6, _Decimal32 a7, _Decimal32 a8,
+       _Decimal32 a9, _Decimal32 a10, _Decimal32 a11, _Decimal32 a12,
+       _Decimal32 a13, _Decimal32 a14, _Decimal32 a15, _Decimal32 a16)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  /* _Decimal32 is passed in the lower half of an FPR or parameter slot.  */
+  if (a1 != ((d32parm_t *)&lparms.fprs[0])->d) FAILURE         /* f1  */
+  if (a2 != ((d32parm_t *)&lparms.fprs[1])->d) FAILURE         /* f2  */
+  if (a3 != ((d32parm_t *)&lparms.fprs[2])->d) FAILURE         /* f3  */
+  if (a4 != ((d32parm_t *)&lparms.fprs[3])->d) FAILURE         /* f4  */
+  if (a5 != ((d32parm_t *)&lparms.fprs[4])->d) FAILURE         /* f5  */
+  if (a6 != ((d32parm_t *)&lparms.fprs[5])->d) FAILURE         /* f6  */
+  if (a7 != ((d32parm_t *)&lparms.fprs[6])->d) FAILURE         /* f7  */
+  if (a8 != ((d32parm_t *)&lparms.fprs[7])->d) FAILURE         /* f8  */
+  if (a9 != ((d32parm_t *)&lparms.fprs[8])->d) FAILURE         /* f9  */
+  if (a10 != ((d32parm_t *)&lparms.fprs[9])->d) FAILURE                /* f10 */
+  if (a11 != ((d32parm_t *)&lparms.fprs[10])->d) FAILURE       /* f11 */
+  if (a12 != ((d32parm_t *)&lparms.fprs[11])->d) FAILURE       /* f12 */
+  if (a13 != ((d32parm_t *)&lparms.fprs[12])->d) FAILURE       /* f13 */
+  if (a14 != ((d32parm_t *)&sp->slot[13])->d) FAILURE
+  if (a15 != ((d32parm_t *)&sp->slot[14])->d) FAILURE
+  if (a16 != ((d32parm_t *)&sp->slot[15])->d) FAILURE
+}
+
+void __attribute__ ((noinline))
+func6 (_Decimal32 a1, _Decimal64 a2, _Decimal128 a3,
+       _Decimal32 a4, _Decimal64 a5, _Decimal128 a6,
+       _Decimal32 a7, _Decimal64 a8, _Decimal128 a9,
+       _Decimal32 a10, _Decimal64 a11, _Decimal128 a12)
+{
+  reg_parms_t lparms;
+  stack_frame_t *sp;
+
+  save_parms (lparms);
+  sp = __builtin_frame_address (0);
+  sp = sp->backchain;
+
+  if (a1 != ((d32parm_t *)&lparms.fprs[0])->d) FAILURE         /* f1        */
+  if (a2 != *(_Decimal64 *)&lparms.fprs[1]) FAILURE            /* f2        */
+  if (a3 != *(_Decimal128 *)&lparms.fprs[3]) FAILURE           /* f4 & f5   */
+  if (a4 != ((d32parm_t *)&lparms.fprs[5])->d) FAILURE         /* f6        */
+  if (a5 != *(_Decimal64 *)&lparms.fprs[6]) FAILURE            /* f7        */
+  if (a6 != *(_Decimal128 *)&lparms.fprs[7]) FAILURE           /* f8 & f9   */
+  if (a7 != ((d32parm_t *)&lparms.fprs[9])->d) FAILURE         /* f10       */
+  if (a8 != *(_Decimal64 *)&lparms.fprs[10]) FAILURE           /* f11       */
+  if (a9 != *(_Decimal128 *)&lparms.fprs[11]) FAILURE          /* f12 & f13 */
+  if (a10 != ((d32parm_t *)&sp->slot[12])->d) FAILURE
+  if (a11 != *(_Decimal64 *)&sp->slot[13]) FAILURE
+}
+
+int
+main (void)
+{
+  func0 (1.5, 2.5, 3.5, 4.5, 5.5, 6.5, 7.5, 8.5, 9.5, 10.5, 11.5, 12.5, 13.5,
+        14.5, 15.2dd, 16.2dl, 17.2dd);
+  func1 (101.5, 102.5, 103.5, 104.5, 105.5, 106.5, 107.5, 108.5, 109.5,
+        110.5, 111.5, 112.5, 113.5, 114.2dd);
+  func2 (201.5, 202.5, 203.5, 204.5, 205.5, 206.5, 207.5, 208.5, 209.5,
+        210.5, 211.5, 212.5, 213.2dd);
+  func3 (301.2dd, 302.2dl, 303.2dd, 304.2dl, 305.2dd, 306.2dl, 307.2dd,
+        308.2dl, 309.2dd, 310.2dl);
+  func4 (401.2dl, 402.2dd, 403.2dl, 404.2dd, 405.2dl, 406.2dd, 407.2dl,
+        408.2dd);
+#if 0
+  /* _Decimal32 doesn't yet follow the ABI; enable this when it does.  */
+  func5 (501.2df, 502.2df, 503.2df, 504.2df, 505.2df, 506.2df, 507.2df,
+        508.2df, 509.2df, 510.2df, 511.2df, 512.2df, 513.2df, 514.2df,
+        515.2df, 516.2df);
+  func6 (601.2df, 602.2dd, 603.2dl, 604.2df, 605.2dd, 606.2dl,
+        607.2df, 608.2dd, 609.2dl, 610.2df, 611.2dd, 612.2dl);
+#endif
+
+  if (failcnt != 0)
+    abort ();
+
+  return 0;
+}