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