Clang Project

clang_source_code/test/Sema/constant-builtins-2.c
1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3// Math stuff
4
5double       g0  = __builtin_huge_val();
6float        g1  = __builtin_huge_valf();
7long double  g2  = __builtin_huge_vall();
8#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
9__float128   g2_2 = __builtin_huge_valf128();
10#endif
11
12double       g3  = __builtin_inf();
13float        g4  = __builtin_inff();
14long double  g5  = __builtin_infl();
15#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
16__float128   g5_2 = __builtin_inff128();
17#endif
18
19double       g6  = __builtin_nan("");
20float        g7  = __builtin_nanf("");
21long double  g8  = __builtin_nanl("");
22#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
23__float128   g8_2 = __builtin_nanf128("");
24#endif
25
26// GCC constant folds these too (via native strtol):
27//double       g6_1  = __builtin_nan("1");
28//float        g7_1  = __builtin_nanf("1");
29//long double  g8_1  = __builtin_nanl("1");
30
31double       g9  = __builtin_nans("");
32float        g10 = __builtin_nansf("");
33long double  g11 = __builtin_nansl("");
34#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
35__float128   g11_2 = __builtin_nansf128("");
36#endif
37
38//int          g12 = __builtin_abs(-12);
39
40double       g13 = __builtin_fabs(-12.);
41double       g13_0 = __builtin_fabs(-0.);
42double       g13_1 = __builtin_fabs(-__builtin_inf());
43float        g14 = __builtin_fabsf(-12.f);
44// GCC doesn't eat this one.
45//long double  g15 = __builtin_fabsfl(-12.0L);
46#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
47__float128   g15_2 = __builtin_fabsf128(-12.q);
48#endif
49
50float        g16 = __builtin_copysign(1.0, -1.0);
51double       g17 = __builtin_copysignf(1.0f, -1.0f);
52long double  g18 = __builtin_copysignl(1.0L, -1.0L);
53#if defined(__FLOAT128__) || defined(__SIZEOF_FLOAT128__)
54__float128   g18_2 = __builtin_copysignf128(1.0q, -1.0q);
55#endif
56
57char classify_nan     [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nan(""))];
58char classify_snan    [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nans(""))];
59char classify_inf     [__builtin_fpclassify(-1, +1, -1, -1, -1, __builtin_inf())];
60char classify_neg_inf [__builtin_fpclassify(-1, +1, -1, -1, -1, -__builtin_inf())];
61char classify_normal  [__builtin_fpclassify(-1, -1, +1, -1, -1, 1.539)];
62char classify_normal2 [__builtin_fpclassify(-1, -1, +1, -1, -1, 1e-307)];
63char classify_denorm  [__builtin_fpclassify(-1, -1, -1, +1, -1, 1e-308)];
64char classify_denorm2 [__builtin_fpclassify(-1, -1, -1, +1, -1, -1e-308)];
65char classify_zero    [__builtin_fpclassify(-1, -1, -1, -1, +1, 0.0)];
66char classify_neg_zero[__builtin_fpclassify(-1, -1, -1, -1, +1, -0.0)];
67
68char isinf_sign_noninf1[__builtin_isinf_sign(-0.0) == 0 ? 1 : -1];
69char isinf_sign_noninf2[__builtin_isinf_sign(1e307) == 0 ? 1 : -1];
70char isinf_sign_noninf3[__builtin_isinf_sign(__builtin_nan("")) == 0 ? 1 : -1];
71char isinf_sign_noninf4[__builtin_isinf_sign(-436.) == 0 ? 1 : -1];
72char isinf_sign_inf    [__builtin_isinf_sign(__builtin_inf()) == 1 ? 1 : -1];
73char isinf_sign_neg_inf[__builtin_isinf_sign(-__builtin_inf()) == -1 ? 1 : -1];
74
75char isinf_inf_pos[__builtin_isinf(__builtin_inf()) ? 1 : -1];
76char isinf_pos    [!__builtin_isinf(1.0) ? 1 : -1];
77char isinf_normf  [!__builtin_isinf(1e-37f) ? 1 : -1];
78char isinf_denormf[!__builtin_isinf(1e-38f) ? 1 : -1];
79char isinf_norm   [!__builtin_isinf(1e-307) ? 1 : -1];
80char isinf_denorm [!__builtin_isinf(1e-308) ? 1 : -1];
81char isinf_zero   [!__builtin_isinf(0.0) ? 1 : -1];
82char isinf_negzero[!__builtin_isinf(-0.0) ? 1 : -1];
83char isinf_neg    [!__builtin_isinf(-1.0) ? 1 : -1];
84char isinf_inf_neg[__builtin_isinf(-__builtin_inf()) ? 1 : -1];
85char isinf_nan    [!__builtin_isinf(__builtin_nan("")) ? 1 : -1];
86char isinf_snan   [!__builtin_isinf(__builtin_nans("")) ? 1 : -1];
87
88char isfinite_inf_pos[!__builtin_isfinite(__builtin_inf()) ? 1 : -1];
89char isfinite_pos    [__builtin_isfinite(1.0) ? 1 : -1];
90char isfinite_normf  [__builtin_isfinite(1e-37f) ? 1 : -1];
91char isfinite_denormf[__builtin_isfinite(1e-38f) ? 1 : -1];
92char isfinite_norm   [__builtin_isfinite(1e-307) ? 1 : -1];
93char isfinite_denorm [__builtin_isfinite(1e-308) ? 1 : -1];
94char isfinite_zero   [__builtin_isfinite(0.0) ? 1 : -1];
95char isfinite_negzero[__builtin_isfinite(-0.0) ? 1 : -1];
96char isfinite_neg    [__builtin_isfinite(-1.0) ? 1 : -1];
97char isfinite_inf_neg[!__builtin_isfinite(-__builtin_inf()) ? 1 : -1];
98char isfinite_nan    [!__builtin_isfinite(__builtin_nan("")) ? 1 : -1];
99char isfinite_snan   [!__builtin_isfinite(__builtin_nans("")) ? 1 : -1];
100
101char isnan_inf_pos[!__builtin_isnan(__builtin_inf()) ? 1 : -1];
102char isnan_pos    [!__builtin_isnan(1.0) ? 1 : -1];
103char isnan_normf  [!__builtin_isnan(1e-37f) ? 1 : -1];
104char isnan_denormf[!__builtin_isnan(1e-38f) ? 1 : -1];
105char isnan_norm   [!__builtin_isnan(1e-307) ? 1 : -1];
106char isnan_denorm [!__builtin_isnan(1e-308) ? 1 : -1];
107char isnan_zero   [!__builtin_isnan(0.0) ? 1 : -1];
108char isnan_negzero[!__builtin_isnan(-0.0) ? 1 : -1];
109char isnan_neg    [!__builtin_isnan(-1.0) ? 1 : -1];
110char isnan_inf_neg[!__builtin_isnan(-__builtin_inf()) ? 1 : -1];
111char isnan_nan    [__builtin_isnan(__builtin_nan("")) ? 1 : -1];
112char isnan_snan   [__builtin_isnan(__builtin_nans("")) ? 1 : -1];
113
114char isnormal_inf_pos[!__builtin_isnormal(__builtin_inf()) ? 1 : -1];
115char isnormal_pos    [__builtin_isnormal(1.0) ? 1 : -1];
116char isnormal_normf  [__builtin_isnormal(1e-37f) ? 1 : -1];
117char isnormal_denormf[!__builtin_isnormal(1e-38f) ? 1 : -1];
118char isnormal_norm   [__builtin_isnormal(1e-307) ? 1 : -1];
119char isnormal_denorm [!__builtin_isnormal(1e-308) ? 1 : -1];
120char isnormal_zero   [!__builtin_isnormal(0.0) ? 1 : -1];
121char isnormal_negzero[!__builtin_isnormal(-0.0) ? 1 : -1];
122char isnormal_neg    [__builtin_isnormal(-1.0) ? 1 : -1];
123char isnormal_inf_neg[!__builtin_isnormal(-__builtin_inf()) ? 1 : -1];
124char isnormal_nan    [!__builtin_isnormal(__builtin_nan("")) ? 1 : -1];
125char isnormal_snan   [!__builtin_isnormal(__builtin_nans("")) ? 1 : -1];
126
127//double       g19 = __builtin_powi(2.0, 4);
128//float        g20 = __builtin_powif(2.0f, 4);
129//long double  g21 = __builtin_powil(2.0L, 4);
130
131#define BITSIZE(x) (sizeof(x) * 8)
132char clz1[__builtin_clz(1) == BITSIZE(int) - 1 ? 1 : -1];
133char clz2[__builtin_clz(7) == BITSIZE(int) - 3 ? 1 : -1];
134char clz3[__builtin_clz(1 << (BITSIZE(int) - 1)) == 0 ? 1 : -1];
135int clz4 = __builtin_clz(0); // expected-error {{not a compile-time constant}}
136char clz5[__builtin_clzl(0xFL) == BITSIZE(long) - 4 ? 1 : -1];
137char clz6[__builtin_clzll(0xFFLL) == BITSIZE(long long) - 8 ? 1 : -1];
138char clz7[__builtin_clzs(0x1) == BITSIZE(short) - 1 ? 1 : -1];
139char clz8[__builtin_clzs(0xf) == BITSIZE(short) - 4 ? 1 : -1];
140char clz9[__builtin_clzs(0xfff) == BITSIZE(short) - 12 ? 1 : -1];
141
142char ctz1[__builtin_ctz(1) == 0 ? 1 : -1];
143char ctz2[__builtin_ctz(8) == 3 ? 1 : -1];
144char ctz3[__builtin_ctz(1 << (BITSIZE(int) - 1)) == BITSIZE(int) - 1 ? 1 : -1];
145int ctz4 = __builtin_ctz(0); // expected-error {{not a compile-time constant}}
146char ctz5[__builtin_ctzl(0x10L) == 4 ? 1 : -1];
147char ctz6[__builtin_ctzll(0x100LL) == 8 ? 1 : -1];
148char ctz7[__builtin_ctzs(1 << (BITSIZE(short) - 1)) == BITSIZE(short) - 1 ? 1 : -1];
149
150char popcount1[__builtin_popcount(0) == 0 ? 1 : -1];
151char popcount2[__builtin_popcount(0xF0F0) == 8 ? 1 : -1];
152char popcount3[__builtin_popcount(~0) == BITSIZE(int) ? 1 : -1];
153char popcount4[__builtin_popcount(~0L) == BITSIZE(int) ? 1 : -1];
154char popcount5[__builtin_popcountl(0L) == 0 ? 1 : -1];
155char popcount6[__builtin_popcountl(0xF0F0L) == 8 ? 1 : -1];
156char popcount7[__builtin_popcountl(~0L) == BITSIZE(long) ? 1 : -1];
157char popcount8[__builtin_popcountll(0LL) == 0 ? 1 : -1];
158char popcount9[__builtin_popcountll(0xF0F0LL) == 8 ? 1 : -1];
159char popcount10[__builtin_popcountll(~0LL) == BITSIZE(long long) ? 1 : -1];
160
161char parity1[__builtin_parity(0) == 0 ? 1 : -1];
162char parity2[__builtin_parity(0xb821) == 0 ? 1 : -1];
163char parity3[__builtin_parity(0xb822) == 0 ? 1 : -1];
164char parity4[__builtin_parity(0xb823) == 1 ? 1 : -1];
165char parity5[__builtin_parity(0xb824) == 0 ? 1 : -1];
166char parity6[__builtin_parity(0xb825) == 1 ? 1 : -1];
167char parity7[__builtin_parity(0xb826) == 1 ? 1 : -1];
168char parity8[__builtin_parity(~0) == 0 ? 1 : -1];
169char parity9[__builtin_parityl(1L << (BITSIZE(long) - 1)) == 1 ? 1 : -1];
170char parity10[__builtin_parityll(1LL << (BITSIZE(long long) - 1)) == 1 ? 1 : -1];
171
172char ffs1[__builtin_ffs(0) == 0 ? 1 : -1];
173char ffs2[__builtin_ffs(1) == 1 ? 1 : -1];
174char ffs3[__builtin_ffs(0xfbe71) == 1 ? 1 : -1];
175char ffs4[__builtin_ffs(0xfbe70) == 5 ? 1 : -1];
176char ffs5[__builtin_ffs(1U << (BITSIZE(int) - 1)) == BITSIZE(int) ? 1 : -1];
177char ffs6[__builtin_ffsl(0x10L) == 5 ? 1 : -1];
178char ffs7[__builtin_ffsll(0x100LL) == 9 ? 1 : -1];
179
180char clrsb1[__builtin_clrsb(0) == BITSIZE(int) - 1 ? 1 : -1];
181char clrsb2[__builtin_clrsbl(0L) == BITSIZE(long) - 1 ? 1 : -1];
182char clrsb3[__builtin_clrsbll(0LL) == BITSIZE(long long) - 1 ? 1 : -1];
183char clrsb4[__builtin_clrsb(~0) == BITSIZE(int) - 1 ? 1 : -1];
184char clrsb5[__builtin_clrsbl(~0L) == BITSIZE(long) - 1 ? 1 : -1];
185char clrsb6[__builtin_clrsbll(~0LL) == BITSIZE(long long) - 1 ? 1 : -1];
186char clrsb7[__builtin_clrsb(1) == BITSIZE(int) - 2 ? 1 : -1];
187char clrsb8[__builtin_clrsb(~1) == BITSIZE(int) - 2 ? 1 : -1];
188char clrsb9[__builtin_clrsb(1 << (BITSIZE(int) - 1)) == 0 ? 1 : -1];
189char clrsb10[__builtin_clrsb(~(1 << (BITSIZE(int) - 1))) == 0 ? 1 : -1];
190char clrsb11[__builtin_clrsb(0xf) == BITSIZE(int) - 5 ? 1 : -1];
191char clrsb12[__builtin_clrsb(~0x1f) == BITSIZE(int) - 6 ? 1 : -1];
192#undef BITSIZE
193
194// GCC misc stuff
195
196extern int f();
197
198int h0 = __builtin_types_compatible_p(int, float);
199//int h1 = __builtin_choose_expr(1, 10, f());
200//int h2 = __builtin_expect(0, 0);
201int h3 = __builtin_bswap16(0x1234) == 0x3412 ? 1 : f();
202int h4 = __builtin_bswap32(0x1234) == 0x34120000 ? 1 : f();
203int h5 = __builtin_bswap64(0x1234) == 0x3412000000000000 ? 1 : f();
204extern long int bi0;
205extern __typeof__(__builtin_expect(0, 0)) bi0;
206
207// Strings
208int array1[__builtin_strlen("ab\0cd")];
209int array2[(sizeof(array1)/sizeof(int)) == 2? 1 : -1];
210
CodeThinker, Enjoy your reading code