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

/* Test that targets correctly round the size of the outgoing arguments
   to a multiple of STACK_BOUNDARY.  There is a serious alignment bug if
   aligned alloca does not get aligned!  */

__extension__ typedef __UINTPTR_TYPE__ uintptr_t;
extern void abort (void);

volatile int xx;
volatile int x = 16;

void
t1 (int x0, int x1, int x2, int x3, int x4, int x5, int x6, int x7,
    void *p, int align)
{
  xx = x0 + x1 + x2 + x3 + x4 + x4 + x6 + x7;
  if ((int)(uintptr_t)p & (align-1))
    abort ();
}

void
t2 (int x0, int x1, int x2, int x3, int x4, int x5, int x6, int x7,
    void *p, int align, int dummy)
{
  xx = x0 + x1 + x2 + x3 + x4 + x4 + x6 + x7;
  if ((int)(uintptr_t)p & (align-1))
    abort ();
}

void
t1_a4 (int size)
{
  void *p = __builtin_alloca_with_align (size, 32);
  t1 (0, 0, 0, 0, 0, 0, 0, 0, p, 4);
}

void
t2_a4 (int size)
{
  void *p = __builtin_alloca_with_align (size, 32);
  t2 (0, 0, 0, 0, 0, 0, 0, 0, p, 4, 0);
}

void
t1_a8 (int size)
{
  void *p = __builtin_alloca_with_align (size, 64);
  t1 (0, 0, 0, 0, 0, 0, 0, 0, p, 8);
}

void
t2_a8 (int size)
{
  void *p = __builtin_alloca_with_align (size, 64);
  t2 (0, 0, 0, 0, 0, 0, 0, 0, p, 8, 0);
}

void
t1_a16 (int size)
{
  void *p = __builtin_alloca_with_align (size, 128);
  t1 (0, 0, 0, 0, 0, 0, 0, 0, p, 16);
}

void
t2_a16 (int size)
{
  void *p = __builtin_alloca_with_align (size, 128);
  t2 (0, 0, 0, 0, 0, 0, 0, 0, p, 16, 0);
}

void
t1_a32 (int size)
{
  void *p = __builtin_alloca_with_align (size, 256);
  t1 (0, 0, 0, 0, 0, 0, 0, 0, p, 32);
}

void
t2_a32 (int size)
{
  void *p = __builtin_alloca_with_align (size, 256);
  t2 (0, 0, 0, 0, 0, 0, 0, 0, p, 32, 0);
}


int
main ()
{
  t1_a4 (x);
  t2_a4 (x);
  t1_a8 (x);
  t2_a8 (x);
  t1_a16 (x);
  t2_a16 (x);
  t1_a32 (x);
  t2_a32 (x);
  return 0;
}