/* { 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;
}