Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a043b08ddc6ff65ebe8c379b1205f32c1b972529 / . / test / Sema / constant-builtins-2.c
blob: d2d221c5e12b445949926bfd1b330b833261a628 [file] [log] [blame]
Richard Smith4dbf4082013-06-13 05:04:16 +0000[diff] [blame]1// RUN: %clang_cc1 -fsyntax-only -verify %s
Daniel Dunbar5db4b3f2008-10-16 03:51:50 +0000[diff] [blame]2
3// Math stuff
4
5double g0 = __builtin_huge_val();
6float g1 = __builtin_huge_valf();
7long double g2 = __builtin_huge_vall();
8
9double g3 = __builtin_inf();
10float g4 = __builtin_inff();
11long double g5 = __builtin_infl();
12
13double g6 = __builtin_nan("");
14float g7 = __builtin_nanf("");
15long double g8 = __builtin_nanl("");
16
17// GCC constant folds these too (via native strtol):
18//double g6_1 = __builtin_nan("1");
19//float g7_1 = __builtin_nanf("1");
20//long double g8_1 = __builtin_nanl("1");
21
22// APFloat doesn't have signalling NaN functions.
23//double g9 = __builtin_nans("");
24//float g10 = __builtin_nansf("");
25//long double g11 = __builtin_nansl("");
26
27//int g12 = __builtin_abs(-12);
28
29double g13 = __builtin_fabs(-12.);
30double g13_0 = __builtin_fabs(-0.);
31double g13_1 = __builtin_fabs(-__builtin_inf());
32float g14 = __builtin_fabsf(-12.f);
33// GCC doesn't eat this one.
34//long double g15 = __builtin_fabsfl(-12.0L);
35
36float g16 = __builtin_copysign(1.0, -1.0);
37double g17 = __builtin_copysignf(1.0f, -1.0f);
38long double g18 = __builtin_copysignl(1.0L, -1.0L);
39
Richard Smithacaf72a2013-06-13 06:26:32 +0000[diff] [blame]40char classify_nan [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nan(""))];
41char classify_snan [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nans(""))];
42char classify_inf [__builtin_fpclassify(-1, +1, -1, -1, -1, __builtin_inf())];
43char classify_neg_inf [__builtin_fpclassify(-1, +1, -1, -1, -1, -__builtin_inf())];
44char classify_normal [__builtin_fpclassify(-1, -1, +1, -1, -1, 1.539)];
45char classify_normal2 [__builtin_fpclassify(-1, -1, +1, -1, -1, 1e-307)];
46char classify_denorm [__builtin_fpclassify(-1, -1, -1, +1, -1, 1e-308)];
47char classify_denorm2 [__builtin_fpclassify(-1, -1, -1, +1, -1, -1e-308)];
48char classify_zero [__builtin_fpclassify(-1, -1, -1, -1, +1, 0.0)];
49char classify_neg_zero[__builtin_fpclassify(-1, -1, -1, -1, +1, -0.0)];
50
Richard Smith5350ded2013-06-13 06:31:13 +0000[diff] [blame]51char isinf_sign_noninf1[__builtin_isinf_sign(-0.0) == 0 ? 1 : -1];
52char isinf_sign_noninf2[__builtin_isinf_sign(1e307) == 0 ? 1 : -1];
53char isinf_sign_noninf3[__builtin_isinf_sign(__builtin_nan("")) == 0 ? 1 : -1];
54char isinf_sign_noninf4[__builtin_isinf_sign(-436.) == 0 ? 1 : -1];
55char isinf_sign_inf [__builtin_isinf_sign(__builtin_inf()) == 1 ? 1 : -1];
56char isinf_sign_neg_inf[__builtin_isinf_sign(-__builtin_inf()) == -1 ? 1 : -1];
57
Richard Smithf186c922013-10-15 19:07:14 +0000[diff] [blame]58char isinf_inf_pos[__builtin_isinf(__builtin_inf()) ? 1 : -1];
59char isinf_pos [!__builtin_isinf(1.0) ? 1 : -1];
60char isinf_normf [!__builtin_isinf(1e-37f) ? 1 : -1];
61char isinf_denormf[!__builtin_isinf(1e-38f) ? 1 : -1];
62char isinf_norm [!__builtin_isinf(1e-307) ? 1 : -1];
63char isinf_denorm [!__builtin_isinf(1e-308) ? 1 : -1];
64char isinf_zero [!__builtin_isinf(0.0) ? 1 : -1];
65char isinf_negzero[!__builtin_isinf(-0.0) ? 1 : -1];
66char isinf_neg [!__builtin_isinf(-1.0) ? 1 : -1];
67char isinf_inf_neg[__builtin_isinf(-__builtin_inf()) ? 1 : -1];
68char isinf_nan [!__builtin_isinf(__builtin_nan("")) ? 1 : -1];
69char isinf_snan [!__builtin_isinf(__builtin_nans("")) ? 1 : -1];
70
71char isfinite_inf_pos[!__builtin_isfinite(__builtin_inf()) ? 1 : -1];
72char isfinite_pos [__builtin_isfinite(1.0) ? 1 : -1];
73char isfinite_normf [__builtin_isfinite(1e-37f) ? 1 : -1];
74char isfinite_denormf[__builtin_isfinite(1e-38f) ? 1 : -1];
75char isfinite_norm [__builtin_isfinite(1e-307) ? 1 : -1];
76char isfinite_denorm [__builtin_isfinite(1e-308) ? 1 : -1];
77char isfinite_zero [__builtin_isfinite(0.0) ? 1 : -1];
78char isfinite_negzero[__builtin_isfinite(-0.0) ? 1 : -1];
79char isfinite_neg [__builtin_isfinite(-1.0) ? 1 : -1];
80char isfinite_inf_neg[!__builtin_isfinite(-__builtin_inf()) ? 1 : -1];
81char isfinite_nan [!__builtin_isfinite(__builtin_nan("")) ? 1 : -1];
82char isfinite_snan [!__builtin_isfinite(__builtin_nans("")) ? 1 : -1];
83
84char isnan_inf_pos[!__builtin_isnan(__builtin_inf()) ? 1 : -1];
85char isnan_pos [!__builtin_isnan(1.0) ? 1 : -1];
86char isnan_normf [!__builtin_isnan(1e-37f) ? 1 : -1];
87char isnan_denormf[!__builtin_isnan(1e-38f) ? 1 : -1];
88char isnan_norm [!__builtin_isnan(1e-307) ? 1 : -1];
89char isnan_denorm [!__builtin_isnan(1e-308) ? 1 : -1];
90char isnan_zero [!__builtin_isnan(0.0) ? 1 : -1];
91char isnan_negzero[!__builtin_isnan(-0.0) ? 1 : -1];
92char isnan_neg [!__builtin_isnan(-1.0) ? 1 : -1];
93char isnan_inf_neg[!__builtin_isnan(-__builtin_inf()) ? 1 : -1];
94char isnan_nan [__builtin_isnan(__builtin_nan("")) ? 1 : -1];
95char isnan_snan [__builtin_isnan(__builtin_nans("")) ? 1 : -1];
96
97char isnormal_inf_pos[!__builtin_isnormal(__builtin_inf()) ? 1 : -1];
98char isnormal_pos [__builtin_isnormal(1.0) ? 1 : -1];
99char isnormal_normf [__builtin_isnormal(1e-37f) ? 1 : -1];
100char isnormal_denormf[!__builtin_isnormal(1e-38f) ? 1 : -1];
101char isnormal_norm [__builtin_isnormal(1e-307) ? 1 : -1];
102char isnormal_denorm [!__builtin_isnormal(1e-308) ? 1 : -1];
103char isnormal_zero [!__builtin_isnormal(0.0) ? 1 : -1];
104char isnormal_negzero[!__builtin_isnormal(-0.0) ? 1 : -1];
105char isnormal_neg [__builtin_isnormal(-1.0) ? 1 : -1];
106char isnormal_inf_neg[!__builtin_isnormal(-__builtin_inf()) ? 1 : -1];
107char isnormal_nan [!__builtin_isnormal(__builtin_nan("")) ? 1 : -1];
108char isnormal_snan [!__builtin_isnormal(__builtin_nans("")) ? 1 : -1];
109
Daniel Dunbar5db4b3f2008-10-16 03:51:50 +0000[diff] [blame]110//double g19 = __builtin_powi(2.0, 4);
111//float g20 = __builtin_powif(2.0f, 4);
112//long double g21 = __builtin_powil(2.0L, 4);
113
Richard Smith4dbf4082013-06-13 05:04:16 +0000[diff] [blame]114#define BITSIZE(x) (sizeof(x) * 8)
115char g22[__builtin_clz(1) == BITSIZE(int) - 1 ? 1 : -1];
116char g23[__builtin_clz(7) == BITSIZE(int) - 3 ? 1 : -1];
117char g24[__builtin_clz(1 << (BITSIZE(int) - 1)) == 0 ? 1 : -1];
118int g25 = __builtin_clz(0); // expected-error {{not a compile-time constant}}
119char g26[__builtin_clzl(0xFL) == BITSIZE(long) - 4 ? 1 : -1];
120char g27[__builtin_clzll(0xFFLL) == BITSIZE(long long) - 8 ? 1 : -1];
121
122char g28[__builtin_ctz(1) == 0 ? 1 : -1];
123char g29[__builtin_ctz(8) == 3 ? 1 : -1];
124char g30[__builtin_ctz(1 << (BITSIZE(int) - 1)) == BITSIZE(int) - 1 ? 1 : -1];
125int g31 = __builtin_ctz(0); // expected-error {{not a compile-time constant}}
126char g32[__builtin_ctzl(0x10L) == 4 ? 1 : -1];
127char g33[__builtin_ctzll(0x100LL) == 8 ? 1 : -1];
128
129char g34[__builtin_popcount(0) == 0 ? 1 : -1];
130char g35[__builtin_popcount(0xF0F0) == 8 ? 1 : -1];
131char g36[__builtin_popcount(~0) == BITSIZE(int) ? 1 : -1];
132char g37[__builtin_popcount(~0L) == BITSIZE(int) ? 1 : -1];
133char g38[__builtin_popcountl(0L) == 0 ? 1 : -1];
134char g39[__builtin_popcountl(0xF0F0L) == 8 ? 1 : -1];
135char g40[__builtin_popcountl(~0L) == BITSIZE(long) ? 1 : -1];
136char g41[__builtin_popcountll(0LL) == 0 ? 1 : -1];
137char g42[__builtin_popcountll(0xF0F0LL) == 8 ? 1 : -1];
138char g43[__builtin_popcountll(~0LL) == BITSIZE(long long) ? 1 : -1];
Richard Smithacaf72a2013-06-13 06:26:32 +0000[diff] [blame]139
140char g44[__builtin_parity(0) == 0 ? 1 : -1];
141char g45[__builtin_parity(0xb821) == 0 ? 1 : -1];
142char g46[__builtin_parity(0xb822) == 0 ? 1 : -1];
143char g47[__builtin_parity(0xb823) == 1 ? 1 : -1];
144char g48[__builtin_parity(0xb824) == 0 ? 1 : -1];
145char g49[__builtin_parity(0xb825) == 1 ? 1 : -1];
146char g50[__builtin_parity(0xb826) == 1 ? 1 : -1];
147char g51[__builtin_parity(~0) == 0 ? 1 : -1];
148char g52[__builtin_parityl(1L << (BITSIZE(long) - 1)) == 1 ? 1 : -1];
149char g53[__builtin_parityll(1LL << (BITSIZE(long long) - 1)) == 1 ? 1 : -1];
150
151char g54[__builtin_ffs(0) == 0 ? 1 : -1];
152char g55[__builtin_ffs(1) == 1 ? 1 : -1];
153char g56[__builtin_ffs(0xfbe71) == 1 ? 1 : -1];
154char g57[__builtin_ffs(0xfbe70) == 5 ? 1 : -1];
155char g58[__builtin_ffs(1U << (BITSIZE(int) - 1)) == BITSIZE(int) ? 1 : -1];
156char g59[__builtin_ffsl(0x10L) == 5 ? 1 : -1];
157char g60[__builtin_ffsll(0x100LL) == 9 ? 1 : -1];
Richard Smith4dbf4082013-06-13 05:04:16 +0000[diff] [blame]158#undef BITSIZE
159
Daniel Dunbar5db4b3f2008-10-16 03:51:50 +0000[diff] [blame]160// GCC misc stuff
161
162extern int f();
163
164int h0 = __builtin_types_compatible_p(int, float);
165//int h1 = __builtin_choose_expr(1, 10, f());
166//int h2 = __builtin_expect(0, 0);
Benjamin Kramerd1900572012-10-06 14:42:22 +0000[diff] [blame]167int h3 = __builtin_bswap16(0x1234) == 0x3412 ? 1 : f();
168int h4 = __builtin_bswap32(0x1234) == 0x34120000 ? 1 : f();
169int h5 = __builtin_bswap64(0x1234) == 0x3412000000000000 ? 1 : f();
Douglas Gregordf7c3b92009-10-31 16:04:14 +0000[diff] [blame]170extern long int bi0;
171extern __typeof__(__builtin_expect(0, 0)) bi0;
Douglas Gregor5726d402010-09-10 06:27:15 +0000[diff] [blame]172
173// Strings
174int array1[__builtin_strlen("ab\0cd")];
175int array2[(sizeof(array1)/sizeof(int)) == 2? 1 : -1];