1 files changed, 145 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/fixed-point/func-vararg-mixed.c b/gcc/testsuite/gcc.dg/fixed-point/func-vararg-mixed.c
new file mode 100644
index 000000000..61a30e765
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/fixed-point/func-vararg-mixed.c
@@ -0,0 +1,145 @@
+/* { dg-do run } */
+/* { dg-options "-std=gnu99" } */
+
+/* C99 6.5.2.2 Function calls.
+   Test passing varargs of fixed-point types.
+   Based on the test from ../dfp/.  */
+
+#include <stdarg.h>
+
+extern void abort (void);
+
+static int
+vararg_int (unsigned arg, ...)
+{
+  va_list ap;
+  int result_i;
+  va_start (ap, arg);
+  result_i = va_arg (ap, int);
+  return result_i;
+}
+
+static _Fract
+vararg_fract (unsigned arg, ...)
+{
+  va_list ap;
+  int result_i;
+  _Fract result_fr; \
+  va_start (ap, arg);
+  result_i = va_arg (ap, int);
+  result_fr = va_arg (ap, _Fract); \
+  return result_fr;
+}
+
+static int
+vararg_double (unsigned arg, ...)
+{
+  va_list ap;
+  int result_i;
+  _Fract result_fr; \
+  double result_d;
+  va_start (ap, arg);
+  result_i = va_arg (ap, int);
+  result_fr = va_arg (ap, _Fract); \
+  result_d = va_arg (ap, double); \
+  return result_d;
+}
+
+#define FUNC(TYPE, NAME) \
+static TYPE \
+vararg_ ## NAME (unsigned arg, ...) \
+{ \
+  va_list ap; \
+  int result_i; \
+  _Fract result_fr; \
+  double result_d; \
+  TYPE result; \
+  va_start (ap, arg); \
+  result_i = va_arg (ap, int); \
+  result_fr = va_arg (ap, _Fract); \
+  result_d = va_arg (ap, double); \
+  result = va_arg (ap, TYPE); \
+  va_end (ap); \
+  return result; \
+}
+
+FUNC (short _Fract, sf)
+FUNC (_Fract, f)
+FUNC (long _Fract, lf)
+FUNC (long long _Fract, llf)
+FUNC (unsigned short _Fract, usf)
+FUNC (unsigned _Fract, uf)
+FUNC (unsigned long _Fract, ulf)
+FUNC (unsigned long long _Fract, ullf)
+FUNC (_Sat short _Fract, Ssf)
+FUNC (_Sat _Fract, Sf)
+FUNC (_Sat long _Fract, Slf)
+FUNC (_Sat long long _Fract, Sllf)
+FUNC (_Sat unsigned short _Fract, Susf)
+FUNC (_Sat unsigned _Fract, Suf)
+FUNC (_Sat unsigned long _Fract, Sulf)
+FUNC (_Sat unsigned long long _Fract, Sullf)
+FUNC (short _Accum, sa)
+FUNC (_Accum, a)
+FUNC (long _Accum, la)
+FUNC (long long _Accum, lla)
+FUNC (unsigned short _Accum, usa)
+FUNC (unsigned _Accum, ua)
+FUNC (unsigned long _Accum, ula)
+FUNC (unsigned long long _Accum, ulla)
+FUNC (_Sat short _Accum, Ssa)
+FUNC (_Sat _Accum, Sa)
+FUNC (_Sat long _Accum, Sla)
+FUNC (_Sat long long _Accum, Slla)
+FUNC (_Sat unsigned short _Accum, Susa)
+FUNC (_Sat unsigned _Accum, Sua)
+FUNC (_Sat unsigned long _Accum, Sula)
+FUNC (_Sat unsigned long long _Accum, Sulla)
+
+int main()
+{
+#define TEST(NAME,PF) \
+  if (vararg_int  (0, 100, 0.9r, 55.0, 0.2 ## PF) != 100) \
+    abort (); \
+  if (vararg_fract  (1, 100, 0.9r, 55.0, 0.2 ## PF) != 0.9r) \
+    abort (); \
+  if (vararg_double  (2, 100, 0.9r, 55.0, 0.2 ## PF) != 55.0) \
+    abort (); \
+  if (vararg_ ## NAME (3, 100, 0.9r, 55.0, 0.2 ## PF) != 0.2 ## PF) \
+    abort (); \
+
+  TEST(sf, hr)
+  TEST(f, r)
+  TEST(lf, lr)
+  TEST(llf, llr)
+  TEST(usf, uhr)
+  TEST(uf, ur)
+  TEST(ulf, ulr)
+  TEST(ullf, ullr)
+  TEST(Ssf, hr)
+  TEST(Sf, r)
+  TEST(Slf, lr)
+  TEST(Sllf, llr)
+  TEST(Susf, uhr)
+  TEST(Suf, ur)
+  TEST(Sulf, ulr)
+  TEST(Sullf, ullr)
+  TEST(sa, hk)
+  TEST(a, k)
+  TEST(la, lk)
+  TEST(lla, llk)
+  TEST(usa, uhk)
+  TEST(ua, uk)
+  TEST(ula, ulk)
+  TEST(ulla, ullk)
+  TEST(Ssa, hk)
+  TEST(Sa, k)
+  TEST(Sla, lk)
+  TEST(Slla, llk)
+  TEST(Susa, uhk)
+  TEST(Sua, uk)
+  TEST(Sula, ulk)
+  TEST(Sulla, ullk)
+
+  return 0;
+}