1/* __builtin_va_arg_pack () builtin tests.  */
2/* { dg-require-effective-target freorder } */
3/* { dg-options "-O2 -freorder-blocks-and-partition" } */
4
5#include <stdarg.h>
6
7extern void abort (void);
8
9int v1 = 8;
10long int v2 = 3;
11void *v3 = (void *) &v2;
12struct A { char c[16]; } v4 = { "foo" };
13long double v5 = 40;
14char seen[20];
15int cnt;
16
17__attribute__ ((noinline)) int
18foo1 (int x, int y, ...)
19{
20  int i;
21  long int l;
22  void *v;
23  struct A a;
24  long double ld;
25  va_list ap;
26
27  va_start (ap, y);
28  if (x < 0 || x >= 20 || seen[x])
29    abort ();
30  seen[x] = ++cnt;
31  if (y != 6)
32    abort ();
33  i = va_arg (ap, int);
34  if (i != 5)
35    abort ();
36  switch (x)
37    {
38    case 0:
39      i = va_arg (ap, int);
40      if (i != 9 || v1 != 9)
41	abort ();
42      a = va_arg (ap, struct A);
43      if (__builtin_memcmp (a.c, v4.c, sizeof (a.c)) != 0)
44	abort ();
45      v = (void *) va_arg (ap, struct A *);
46      if (v != (void *) &v4)
47	abort ();
48      l = va_arg (ap, long int);
49      if (l != 3 || v2 != 4)
50	abort ();
51      break;
52    case 1:
53      ld = va_arg (ap, long double);
54      if (ld != 41 || v5 != ld)
55	abort ();
56      i = va_arg (ap, int);
57      if (i != 8)
58	abort ();
59      v = va_arg (ap, void *);
60      if (v != &v2)
61	abort ();
62      break;
63    case 2:
64      break;
65    default:
66      abort ();
67    }
68  va_end (ap);
69  return x;
70}
71
72__attribute__ ((noinline)) int
73foo2 (int x, int y, ...)
74{
75  long long int ll;
76  void *v;
77  struct A a, b;
78  long double ld;
79  va_list ap;
80
81  va_start (ap, y);
82  if (x < 0 || x >= 20 || seen[x])
83    abort ();
84  seen[x] = ++cnt | 64;
85  if (y != 10)
86    abort ();
87  switch (x)
88    {
89    case 11:
90      break;
91    case 12:
92      ld = va_arg (ap, long double);
93      if (ld != 41 || v5 != 40)
94	abort ();
95      a = va_arg (ap, struct A);
96      if (__builtin_memcmp (a.c, v4.c, sizeof (a.c)) != 0)
97	abort ();
98      b = va_arg (ap, struct A);
99      if (__builtin_memcmp (b.c, v4.c, sizeof (b.c)) != 0)
100	abort ();
101      v = va_arg (ap, void *);
102      if (v != &v2)
103	abort ();
104      ll = va_arg (ap, long long int);
105      if (ll != 16LL)
106	abort ();
107      break;
108    case 2:
109      break;
110    default:
111      abort ();
112    }
113  va_end (ap);
114  return x + 8;
115}
116
117__attribute__ ((noinline)) int
118foo3 (void)
119{
120  return 6;
121}
122
123extern inline __attribute__ ((always_inline, gnu_inline)) int
124bar (int x, ...)
125{
126  if (x < 10)
127    return foo1 (x, foo3 (), 5, __builtin_va_arg_pack ());
128  return foo2 (x, foo3 () + 4, __builtin_va_arg_pack ());
129}
130
131int
132main (void)
133{
134  if (bar (0, ++v1, v4, &v4, v2++) != 0)
135    abort ();
136  if (bar (1, ++v5, 8, v3) != 1)
137    abort ();
138  if (bar (2) != 2)
139    abort ();
140  if (bar (v1 + 2) != 19)
141    abort ();
142  if (bar (v1 + 3, v5--, v4, v4, v3, 16LL) != 20)
143    abort ();
144  return 0;
145}
146