/* Test AAPCS layout (alignment of varargs) for callee.  */

/* { dg-do run { target arm_eabi } } */
/* { dg-require-effective-target arm32 } */
/* { dg-options "-O2 -fno-inline" } */

#include <stdarg.h>

extern void abort (void);

typedef __attribute__((aligned (8))) int alignedint;

void
foo (int i, ...)
{
  va_list va;
  va_start (va, i);
  /* Arguments should be passed in the same registers as if they were ints.  */
  while (i-- > 0)
    if (va_arg (va, int) != i)
      abort ();
  va_end (va);
}

int
main (int argc, char **argv)
{
  alignedint a = 5;
  alignedint b = 4;
  alignedint c = 3;
  alignedint d = 2;
  alignedint e = 1;
  alignedint f = 0;
  foo (a, b, c, d, e, f);
  return 0;
}