source: EcnlProtoTool/trunk/tcc-0.9.27/tests/pp/19.c@ 331

Last change on this file since 331 was 331, checked in by coas-nagasima, 6 years ago

prototoolに関連するプロジェクトをnewlibからmuslを使うよう変更・更新
ntshellをnewlibの下位の実装から、muslのsyscallの実装に変更・更新
以下のOSSをアップデート
・mruby-1.3.0
・musl-1.1.18
・onigmo-6.1.3
・tcc-0.9.27
以下のOSSを追加
・openssl-1.1.0e
・curl-7.57.0
・zlib-1.2.11
以下のmrbgemsを追加
・iij/mruby-digest
・iij/mruby-env
・iij/mruby-errno
・iij/mruby-iijson
・iij/mruby-ipaddr
・iij/mruby-mock
・iij/mruby-require
・iij/mruby-tls-openssl
  • Property svn:eol-style set to native
  • Property svn:mime-type set to text/x-csrc
File size: 5.0 KB
Line 
1#define M_C2I(a, ...) a ## __VA_ARGS__
2#define M_C(a, ...) M_C2I(a, __VA_ARGS__)
3#define M_C3I(a, b, ...) a ## b ## __VA_ARGS__
4#define M_C3(a, b, ...) M_C3I(a ,b, __VA_ARGS__)
5
6#define M_RETI_ARG2(a, b, ...) b
7#define M_RET_ARG2(...) M_RETI_ARG2(__VA_ARGS__)
8#define M_RETI_ARG27(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,aa, ...) aa
9#define M_RET_ARG27(...) M_RETI_ARG27(__VA_ARGS__)
10
11#define M_TOBOOLI_0 1, 0,
12#define M_BOOL(x) M_RET_ARG2(M_C(M_TOBOOLI_, x), 1, useless)
13
14#define M_IFI_0(true_macro, ...) __VA_ARGS__
15#define M_IFI_1(true_macro, ...) true_macro
16#define M_IF(c) M_C(M_IFI_, M_BOOL(c))
17
18#define M_FLAT(...) __VA_ARGS__
19#define M_INVI_0 1
20#define M_INVI_1 0
21#define M_INV(x) M_C(M_INVI_, x)
22
23#define M_ANDI_00 0
24#define M_ANDI_01 0
25#define M_ANDI_10 0
26#define M_ANDI_11 1
27#define M_AND(x,y) M_C3(M_ANDI_, x, y)
28
29#define M_ORI_00 0
30#define M_ORI_01 1
31#define M_ORI_10 1
32#define M_ORI_11 1
33#define M_OR(x,y) M_C3(M_ORI_, x, y)
34
35#define M_COMMA_P(...) M_RET_ARG27(__VA_ARGS__, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, useless)
36
37#define M_EMPTYI_DETECT(...) 0, 1,
38#define M_EMPTYI_P_C1(...) M_COMMA_P(M_EMPTYI_DETECT __VA_ARGS__ ())
39#define M_EMPTYI_P_C2(...) M_COMMA_P(M_EMPTYI_DETECT __VA_ARGS__)
40#define M_EMPTYI_P_C3(...) M_COMMA_P(__VA_ARGS__ () )
41#define M_EMPTY_P(...) M_AND(M_EMPTYI_P_C1(__VA_ARGS__), M_INV(M_OR(M_OR(M_EMPTYI_P_C2(__VA_ARGS__), M_COMMA_P(__VA_ARGS__)),M_EMPTYI_P_C3(__VA_ARGS__))))
42#define M_APPLY_FUNC2B(func, arg1, arg2) \
43 M_IF(M_EMPTY_P(arg2))(,func(arg1, arg2))
44#define M_MAP2B_0(func, data, a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z,...) \
45 M_APPLY_FUNC2B(func, data, a) M_APPLY_FUNC2B(func, data, b) M_APPLY_FUNC2B(func, data, c) \
46 M_APPLY_FUNC2B(func, data, d) M_APPLY_FUNC2B(func, data, e) M_APPLY_FUNC2B(func, data, f) \
47 M_APPLY_FUNC2B(func, data, g) M_APPLY_FUNC2B(func, data, h) M_APPLY_FUNC2B(func, data, i) \
48 M_APPLY_FUNC2B(func, data, j) M_APPLY_FUNC2B(func, data, k) M_APPLY_FUNC2B(func, data, l) \
49 M_APPLY_FUNC2B(func, data, m) M_APPLY_FUNC2B(func, data, n) M_APPLY_FUNC2B(func, data, o) \
50 M_APPLY_FUNC2B(func, data, p) M_APPLY_FUNC2B(func, data, q) M_APPLY_FUNC2B(func, data, r) \
51 M_APPLY_FUNC2B(func, data, s) M_APPLY_FUNC2B(func, data, t) M_APPLY_FUNC2B(func, data, u) \
52 M_APPLY_FUNC2B(func, data, v) M_APPLY_FUNC2B(func, data, w) M_APPLY_FUNC2B(func, data, x) \
53 M_APPLY_FUNC2B(func, data, y) M_APPLY_FUNC2B(func, data, z)
54#define M_MAP2B(f, ...) M_MAP2B_0(f, __VA_ARGS__, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , )
55#define M_INIT_INIT(a) ,a,
56
57#define M_GET_METHOD(method, method_default, ...) \
58 M_RET_ARG2 (M_MAP2B(M_C, M_C3(M_, method, _), __VA_ARGS__), method_default,)
59
60#define M_TEST_METHOD_P(method, oplist) \
61 M_BOOL(M_GET_METHOD (method, 0, M_FLAT oplist))
62
63#define TRUE 1
64#define TEST1(n) \
65 M_IF(n)(ok,nok)
66#define TEST2(op) \
67 M_TEST_METHOD_P(INIT, op)
68#define TEST3(op) \
69 M_IF(M_TEST_METHOD_P(INIT, op))(ok, nok)
70#define TEST4(op) \
71 TEST1(TEST2(op))
72#define KO(a) ((void)1)
73
74/* This checks that the various expansions that ultimately lead to
75 something like 'KO(arg,arg)', where 'KO' comes from a macro
76 expansion reducing from a large macro chain do not are regarded
77 as funclike macro invocation of KO. E.g. X93 and X94 expand to 'KO',
78 but X95 must not consume the (a,b) arguments outside the M_IF()
79 invocation to reduce the 'KO' macro to an invocation. Instead
80 X95 should reduce via M_IF(KO)(a,b) to 'a'.
81
82 The other lines here are variations on this scheme, with X1 to
83 X6 coming from the bug report at
84 http://lists.nongnu.org/archive/html/tinycc-devel/2017-07/msg00017.html */
85X92 M_IF(KO)
86X93 M_GET_METHOD(INIT, 0, INIT(KO))
87X94 M_GET_METHOD(INIT, 0, M_FLAT (INIT(KO)))
88X95 M_IF(M_GET_METHOD(INIT, 0, INIT(KO)))(a,b)
89X96 M_IF(M_GET_METHOD(INIT, 0, M_FLAT (INIT(KO))))
90X97 M_IF(M_GET_METHOD(INIT, 0, M_FLAT (INIT(KO))))(ok,nok)
91X98 (M_TEST_METHOD_P(INIT, (INIT(KO))))(ok, nok)
92X99 M_IF(M_TEST_METHOD_P(INIT, (INIT(KO))))(ok, nok)
93// test begins
94X1 TEST1(TRUE) // ==> expect ok, get ok
95// First test with a token which is not a macro
96X2 TEST2((INIT(ok))) // ==> expect 1, get 1
97X3 TEST3((INIT(ok))) // ==> expect ok, get ok
98// Then test with a token which is a macro, but should not be expanded.
99X4 TEST2((INIT(KO))) // ==> expect 1, get 1
100X5 TEST4(INIT(KO))
101X6 TEST3((INIT(KO))) // ==> expect ok, get "error: macro 'KO' used with too many args"
Note: See TracBrowser for help on using the repository browser.