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