// CHECK-LABEL: define void @test_float_builtins void test_float_builtins(float F, double D, long double LD) { volatile int res; res = __builtin_isinf(F); // CHECK: call float @llvm.fabs.f32(float // CHECK: fcmp oeq float {{.*}}, 0x7FF0000000000000 res = __builtin_isinf(D); // CHECK: call double @llvm.fabs.f64(double // CHECK: fcmp oeq double {{.*}}, 0x7FF0000000000000 res = __builtin_isinf(LD); // CHECK: call x86_fp80 @llvm.fabs.f80(x86_fp80 // CHECK: fcmp oeq x86_fp80 {{.*}}, 0xK7FFF8000000000000000 res = __builtin_isinf_sign(F); // CHECK: %[[ABS:.*]] = call float @llvm.fabs.f32(float %[[ARG:.*]]) // CHECK: %[[ISINF:.*]] = fcmp oeq float %[[ABS]], 0x7FF0000000000000 // CHECK: %[[BITCAST:.*]] = bitcast float %[[ARG]] to i32 // CHECK: %[[ISNEG:.*]] = icmp slt i32 %[[BITCAST]], 0 // CHECK: %[[SIGN:.*]] = select i1 %[[ISNEG]], i32 -1, i32 1 // CHECK: select i1 %[[ISINF]], i32 %[[SIGN]], i32 0 res = __builtin_isinf_sign(D); // CHECK: %[[ABS:.*]] = call double @llvm.fabs.f64(double %[[ARG:.*]]) // CHECK: %[[ISINF:.*]] = fcmp oeq double %[[ABS]], 0x7FF0000000000000 // CHECK: %[[BITCAST:.*]] = bitcast double %[[ARG]] to i64 // CHECK: %[[ISNEG:.*]] = icmp slt i64 %[[BITCAST]], 0 // CHECK: %[[SIGN:.*]] = select i1 %[[ISNEG]], i32 -1, i32 1 // CHECK: select i1 %[[ISINF]], i32 %[[SIGN]], i32 0 res = __builtin_isinf_sign(LD); // CHECK: %[[ABS:.*]] = call x86_fp80 @llvm.fabs.f80(x86_fp80 %[[ARG:.*]]) // CHECK: %[[ISINF:.*]] = fcmp oeq x86_fp80 %[[ABS]], 0xK7FFF8000000000000000 // CHECK: %[[BITCAST:.*]] = bitcast x86_fp80 %[[ARG]] to i80 // CHECK: %[[ISNEG:.*]] = icmp slt i80 %[[BITCAST]], 0 // CHECK: %[[SIGN:.*]] = select i1 %[[ISNEG]], i32 -1, i32 1 // CHECK: select i1 %[[ISINF]], i32 %[[SIGN]], i32 0 res = __builtin_isfinite(F); // CHECK: call float @llvm.fabs.f32(float // CHECK: fcmp one float {{.*}}, 0x7FF0000000000000 res = finite(D); // CHECK: call double @llvm.fabs.f64(double // CHECK: fcmp one double {{.*}}, 0x7FF0000000000000 res = __builtin_isnormal(F); // CHECK: fcmp oeq float // CHECK: call float @llvm.fabs.f32(float // CHECK: fcmp ult float {{.*}}, 0x7FF0000000000000 // CHECK: fcmp uge float {{.*}}, 0x3810000000000000 // CHECK: and i1 // CHECK: and i1 }
void fn0 (int n) { p = __builtin_alloca_with_align (n, 6); /* { dg-error "39:must be a constant integer" } */ r += __builtin_isfinite (0); /* { dg-error "28:non-floating-point argument in call" } */ r += __builtin_isinf (0); /* { dg-error "25:non-floating-point argument in call" } */ r += __builtin_isinf_sign (0); /* { dg-error "30:non-floating-point argument in call" } */ r += __builtin_isnan (0); /* { dg-error "25:non-floating-point argument in call" } */ r += __builtin_isnormal (0); /* { dg-error "28:non-floating-point argument in call" } */ r += __builtin_signbit (0); /* { dg-error "27:non-floating-point argument in call" } */ r += __builtin_isgreater (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_isgreaterequal (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_isless (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_islessequal (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_islessgreater (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_isunordered (0, 0); /* { dg-error "8:non-floating-point arguments in call to function" } */ r += __builtin_fpclassify (1, 2, n, 4, 5, n); /* { dg-error "36:non-const integer argument 3 in call" } */ r += __builtin_fpclassify (1, 2, 3, 4, 5, 6); /* { dg-error "45:non-floating-point argument in call" } */ d = __builtin_assume_aligned (p, n, p); /* { dg-error "39:non-integer argument 3 in call" } */ b = __builtin_add_overflow (n, *d, &r); /* { dg-error "34:argument 2 in call to function" } */ b = __builtin_add_overflow (n, 5, d); /* { dg-error "37:argument 3 in call" } */ b = __builtin_sub_overflow (n, *d, &r); /* { dg-error "34:argument 2 in call to function" } */ b = __builtin_sub_overflow (n, 5, d); /* { dg-error "37:argument 3 in call" } */ b = __builtin_mul_overflow (n, *d, &r); /* { dg-error "34:argument 2 in call to function" } */ b = __builtin_mul_overflow (n, 5, d); /* { dg-error "37:argument 3 in call" } */ }
int test3(double x) { if (x == 1) return __builtin_fpclassify(1,2,3,4,5,x,x); /* { dg-error "too many arguments" } */ if (x == 2) return __builtin_isfinite(x, x); /* { dg-error "too many arguments" } */ if (x == 3) return __builtin_isinf_sign(x, x); /* { dg-error "too many arguments" } */ if (x == 4) return __builtin_isinf(x, x); /* { dg-error "too many arguments" } */ if (x == 5) return __builtin_isnan(x, x); /* { dg-error "too many arguments" } */ if (x == 6) return __builtin_isnormal(x, x); /* { dg-error "too many arguments" } */ if (x == 7) return __builtin_isgreater(x, x, x); /* { dg-error "too many arguments" } */ if (x == 8) return __builtin_isgreaterequal(x, x, x); /* { dg-error "too many arguments" } */ if (x == 9) return __builtin_isless(x, x, x); /* { dg-error "too many arguments" } */ if (x == 10) return __builtin_islessequal(x, x, x); /* { dg-error "too many arguments" } */ if (x == 11) return __builtin_islessgreater(x, x, x); /* { dg-error "too many arguments" } */ if (x == 12) return __builtin_isunordered(x, x, x); /* { dg-error "too many arguments" } */ if (x == 13) return __builtin_signbit(x, x); /* { dg-error "too many arguments" } */ return 0; }
int test1(struct X x) { if (x.x == 1) return __builtin_fpclassify(1,2,3,4,5,x); /* { dg-error "non-floating-point argument" } */ if (x.x == 2) return __builtin_isfinite(x); /* { dg-error "non-floating-point argument" } */ if (x.x == 3) return __builtin_isinf_sign(x); /* { dg-error "non-floating-point argument" } */ if (x.x == 4) return __builtin_isinf(x); /* { dg-error "non-floating-point argument" } */ if (x.x == 5) return __builtin_isnan(x); /* { dg-error "non-floating-point argument" } */ if (x.x == 6) return __builtin_isnormal(x); /* { dg-error "non-floating-point argument" } */ if (x.x == 7) return __builtin_isgreater(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 8) return __builtin_isgreaterequal(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 9) return __builtin_isless(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 10) return __builtin_islessequal(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 11) return __builtin_islessgreater(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 12) return __builtin_isunordered(x, x); /* { dg-error "non-floating-point arguments" } */ if (x.x == 13) return __builtin_signbit(x); /* { dg-error "non-floating-point argument" } */ return 0; }
float g16 = __builtin_copysign(1.0, -1.0); double g17 = __builtin_copysignf(1.0f, -1.0f); long double g18 = __builtin_copysignl(1.0L, -1.0L); char classify_nan [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nan(""))]; char classify_snan [__builtin_fpclassify(+1, -1, -1, -1, -1, __builtin_nans(""))]; char classify_inf [__builtin_fpclassify(-1, +1, -1, -1, -1, __builtin_inf())]; char classify_neg_inf [__builtin_fpclassify(-1, +1, -1, -1, -1, -__builtin_inf())]; char classify_normal [__builtin_fpclassify(-1, -1, +1, -1, -1, 1.539)]; char classify_normal2 [__builtin_fpclassify(-1, -1, +1, -1, -1, 1e-307)]; char classify_denorm [__builtin_fpclassify(-1, -1, -1, +1, -1, 1e-308)]; char classify_denorm2 [__builtin_fpclassify(-1, -1, -1, +1, -1, -1e-308)]; char classify_zero [__builtin_fpclassify(-1, -1, -1, -1, +1, 0.0)]; char classify_neg_zero[__builtin_fpclassify(-1, -1, -1, -1, +1, -0.0)]; char isinf_sign_noninf1[__builtin_isinf_sign(-0.0) == 0 ? 1 : -1]; char isinf_sign_noninf2[__builtin_isinf_sign(1e307) == 0 ? 1 : -1]; char isinf_sign_noninf3[__builtin_isinf_sign(__builtin_nan("")) == 0 ? 1 : -1]; char isinf_sign_noninf4[__builtin_isinf_sign(-436.) == 0 ? 1 : -1]; char isinf_sign_inf [__builtin_isinf_sign(__builtin_inf()) == 1 ? 1 : -1]; char isinf_sign_neg_inf[__builtin_isinf_sign(-__builtin_inf()) == -1 ? 1 : -1]; char isinf_inf_pos[__builtin_isinf(__builtin_inf()) ? 1 : -1]; char isinf_pos [!__builtin_isinf(1.0) ? 1 : -1]; char isinf_normf [!__builtin_isinf(1e-37f) ? 1 : -1]; char isinf_denormf[!__builtin_isinf(1e-38f) ? 1 : -1]; char isinf_norm [!__builtin_isinf(1e-307) ? 1 : -1]; char isinf_denorm [!__builtin_isinf(1e-308) ? 1 : -1]; char isinf_zero [!__builtin_isinf(0.0) ? 1 : -1]; char isinf_negzero[!__builtin_isinf(-0.0) ? 1 : -1]; char isinf_neg [!__builtin_isinf(-1.0) ? 1 : -1];
foo (float f, double d, long double ld) { /* Test the generic expansion of isinf_sign. */ if (__builtin_isinf_sign(f) != (__builtin_isinf(f) ? (__builtin_signbit(f) ? -1 : 1) : 0)) link_error (__LINE__); if (__builtin_isinf_sign(d) != (__builtin_isinf(d) ? (__builtin_signbit(d) ? -1 : 1) : 0)) link_error (__LINE__); if (__builtin_isinf_sign(ld) != (__builtin_isinf(ld) ? (__builtin_signbit(ld) ? -1 : 1) : 0)) link_error (__LINE__); #ifdef __OPTIMIZE__ /* In boolean contexts, GCC will fold the inner conditional expression to 1. So isinf_sign folds to plain isinf. */ if ((_Bool)__builtin_isinf_sign(f) != (__builtin_isinf(f) != 0)) link_error (__LINE__); if ((_Bool)__builtin_isinf_sign(d) != (__builtin_isinf(d) != 0)) link_error (__LINE__); if ((_Bool)__builtin_isinf_sign(ld) != (__builtin_isinf(ld) != 0)) link_error (__LINE__); #endif if ((__builtin_isinf_sign(f) != 0) != (__builtin_isinf(f) != 0)) link_error (__LINE__); if ((__builtin_isinf_sign(d) != 0) != (__builtin_isinf(d) != 0)) link_error (__LINE__); if ((__builtin_isinf_sign(ld) != 0) != (__builtin_isinf(ld) != 0)) link_error (__LINE__); if ((__builtin_isinf_sign(f) ? 5 : 6) != (__builtin_isinf(f) ? 5 : 6)) link_error (__LINE__); if ((__builtin_isinf_sign(d) ? 5 : 6) != (__builtin_isinf(d) ? 5 : 6)) link_error (__LINE__); if ((__builtin_isinf_sign(ld) ? 5 : 6) != (__builtin_isinf(ld) ? 5 : 6)) link_error (__LINE__); }
int isinff (float x) { return __builtin_isinf_sign (x); }
int isinfl (long double x) { return __builtin_isinf_sign (x); }
int isinf (double x) { return __builtin_isinf_sign (x); }