1 /* { dg-do preprocess } */
2 /* { dg-options "-std=gnu99" } */
3
4 /* Jamie's varargs macros from hell. Not for the faint of heart.
5 Great tests that C99 and GNU varargs give identical results.
6 Adapted to the testsuite by Neil Booth, 1 Nov 2000. */
7
8 /* Permission is granted to use, copy, modify and distribute this file
9 freely for any purpose whatsoever. This file is free software, and
10 there's no warranty.
11
12 -- Jamie Lokier <jamie.lokier@cern.ch>, 25/Sep/2000. */
13
14 #define dup3(x) x,x,x
15
16 /* Count elements in a list (0 to 10 max). */
17 #define gnu_count(y...) _gnu_count1 ( , ##y)
18 #define _gnu_count1(y...) _gnu_count2 (y,10,9,8,7,6,5,4,3,2,1,0)
19 #define _gnu_count2(_,x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,n,ys...) n
20
21 /* Tail of a list. */
22 #define gnu_tail(y...) _gnu_tail (y)
23 #define _gnu_tail(x,y...) y
24
25 /* Repeat N times. */
26 #define gnu_repeat(n, x) gnu_tail (_gnu_repeat (n, x))
27 #define _gnu_repeat(n, x) _gnu_repeat_##n (x)
28 #define _gnu_repeat_0(x)
29 #define _gnu_repeat_1(x) ,x
30 #define _gnu_repeat_2(x) ,x,x
31 #define _gnu_repeat_3(x) ,x,x,x
32 #define _gnu_repeat_4(x) ,x,x,x,x
33 #define _gnu_repeat_5(x) ,x,x,x,x,x
34
35 #define _gnu_keep(xs...) xs
36 #define _gnu_discard(xs...)
37 #define _gnu_split_r(n,xs...) _gnu_split_rd (n,_gnu_keep,_gnu_discard xs)
38 #define _gnu_split_d(n,xs...) _gnu_split_rd (n,_gnu_discard,_gnu_keep xs)
39 #define _gnu_split_rd(n,xs...) _gnu_split_##n (xs)
40 #define _gnu_split_0(a,b,xs...) a() b(xs)
41 #define _gnu_split_1(a,b,x0,xs...) a(x0) b(xs)
42 #define _gnu_split_2(a,b,x0,x1,xs...) a(x0,x1) b(xs)
43 #define _gnu_split_3(a,b,x0,x1,x2,xs...) a(x0,x1,x2) b(xs)
44 #define _gnu_split_4(a,b,x0,x1,x2,x3,xs...) a(x0,x1,x2,x3) b(xs)
45 #define _gnu_split_5(a,b,x0,x1,x2,x3,x4,xs...) a(x0,x1,x2,x3,x4) b(xs)
46
47 /* List manipulations. Surprise: index zero is the rightmost element. */
48 #define gnu_take(n, xs...) \
49 _gnu_split_d (_gnu_count1 ( , ## xs), _gnu_repeat (n, _gnu_error) , ## xs)
50 #define gnu_drop(n, xs...) \
51 _gnu_split_d (n,,_gnu_split_r (_gnu_count1 ( , ## xs), _gnu_repeat (n, _gnu_error) , ## xs))
52 #define gnu_index(pos, xs...) gnu_take (1, gnu_drop (pos , ## xs))
53
54 /* C99 __VA_ARGS__ versions */
55 #define c99_count(...) _c99_count1 ( , ##__VA_ARGS__)/* If only ## worked.*/
56 #define _c99_count1(...) _c99_count2 (__VA_ARGS__,10,9,8,7,6,5,4,3,2,1,0)
57 #define _c99_count2(_,x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,n,...) n
58
59 #define c99_tail(...) _c99_tail (__VA_ARGS__)
60 #define _c99_tail(x,...) __VA_ARGS__
61
62 /* Repeat N times. */
63 #define c99_repeat(n, x) c99_tail (_c99_repeat (n, x))
64 #define _c99_repeat(n, x) _c99_repeat_##n (x)
65 #define _c99_repeat_0(x)
66 #define _c99_repeat_1(x) ,x
67 #define _c99_repeat_2(x) ,x,x
68 #define _c99_repeat_3(x) ,x,x,x
69 #define _c99_repeat_4(x) ,x,x,x,x
70 #define _c99_repeat_5(x) ,x,x,x,x,x
71
72 #define _c99_keep(...) __VA_ARGS__
73 #define _c99_discard(...)
74 #define _c99_split_r(n,...) _c99_split_rd(n,_c99_keep,_c99_discard __VA_ARGS__)
75 #define _c99_split_d(n,...) _c99_split_rd(n,_c99_discard,_c99_keep __VA_ARGS__)
76 #define _c99_split_rd(n,...) _c99_split_##n (__VA_ARGS__)
77 #define _c99_split_0(a,b,...) a() b(__VA_ARGS__)
78 #define _c99_split_1(a,b,x0,...) a(x0) b(__VA_ARGS__)
79 #define _c99_split_2(a,b,x0,x1,...) a(x0,x1) b(__VA_ARGS__)
80 #define _c99_split_3(a,b,x0,x1,x2,...) a(x0,x1,x2) b(__VA_ARGS__)
81 #define _c99_split_4(a,b,x0,x1,x2,x3,...) a(x0,x1,x2,x3) b(__VA_ARGS__)
82 #define _c99_split_5(a,b,x0,x1,x2,x3,x4,...) a(x0,x1,x2,x3,x4) b(__VA_ARGS__)
83
84 /* List manipulations. Surprise: index zero is the rightmost element. */
85 #define c99_take(n, ...) \
86 _c99_split_d (_c99_count1 ( , ## __VA_ARGS__), _c99_repeat (n, _c99_error) , ## __VA_ARGS__)
87 #define c99_drop(n, ...) \
88 _c99_split_d (n,,_c99_split_r (_c99_count1 ( , ## __VA_ARGS__), _c99_repeat (n, _c99_error) , ## __VA_ARGS__))
89 #define c99_index(pos, ...) c99_take (1, c99_drop (pos , ## __VA_ARGS__))
90
91 /************** Expansions **************/
92
93 /* Correct answers are 0, 0, 1, 2, 10. */
94 #if _gnu_count1 () != 0 || gnu_count () != 0 || gnu_count (A) != 1 \
95 || gnu_count (,) != 2 || gnu_count (A, B, C, D, E, F, G, H, I, J) != 10
96 #error gnu_count
97 #endif
98
99 /* Correct answers are empty, 'x'. */
100 #if gnu_repeat (0, 'x') gnu_repeat (1, 'x') != 'x'
101 #error gnu_repeat
102 #endif
103
104 /* Correct answers are "e", "b", "a", empty. */
105 #if gnu_index (0, 'a', 'b', 'c', 'd', 'e') != 'e' \
106 || gnu_index (3, 'a', 'b', 'c', 'd', 'e') != 'b' \
107 || gnu_index (4, 'a', 'b', 'c', 'd', 'e') != 'a' \
108 gnu_index (5, 'a', 'b', 'c', 'd', 'e')
109 #error gnu_index
110 #endif
111
112 /************* C99 tests *************/
113
114 /* The answers are 0, 0, 1, 2, 10 as for the non-C99 version. */
115 #if _c99_count1 () != 0 || c99_count () != 0 || c99_count (A) != 1 \
116 || c99_count (,) != 2 || c99_count (A, B, C, D, E, F, G, H, I, J) != 10
117 #error c99_count
118 #endif
119
120 /* Correct answers are empty, 'x'. */
121 #if c99_repeat (0, 'x') c99_repeat (1, 'x') != 'x'
122 #error c99_repeat
123 #endif
124
125 /* Correct answers are "e", "b", "a", empty. */
126 #if c99_index (0, 'a', 'b', 'c', 'd', 'e') != 'e' \
127 || c99_index (3, 'a', 'b', 'c', 'd', 'e') != 'b' \
128 || c99_index (4, 'a', 'b', 'c', 'd', 'e') != 'a' \
129 c99_index (5, 'a', 'b', 'c', 'd', 'e')
130 #error gnu_index
131 #endif