1 /* Copyright (C) 2008 Free Software Foundation. 2 3 Verify that __builtin_isinf_sign folds correctly. 4 5 Origin: Kaveh R. Ghazi, May 17, 2008. */ 6 7 /* { dg-do link } */ 8 9 /* All references to link_error should go away at compile-time. */ 10 extern void link_error(int); 11 12 void __attribute__ ((__noinline__)) foo(float f,double d,long double ld)13foo (float f, double d, long double ld) 14 { 15 /* Test the generic expansion of isinf_sign. */ 16 17 if (__builtin_isinf_sign(f) 18 != (__builtin_isinf(f) ? (__builtin_signbit(f) ? -1 : 1) : 0)) 19 link_error (__LINE__); 20 if (__builtin_isinf_sign(d) 21 != (__builtin_isinf(d) ? (__builtin_signbit(d) ? -1 : 1) : 0)) 22 link_error (__LINE__); 23 if (__builtin_isinf_sign(ld) 24 != (__builtin_isinf(ld) ? (__builtin_signbit(ld) ? -1 : 1) : 0)) 25 link_error (__LINE__); 26 27 #ifdef __OPTIMIZE__ 28 /* In boolean contexts, GCC will fold the inner conditional 29 expression to 1. So isinf_sign folds to plain isinf. */ 30 31 if ((_Bool)__builtin_isinf_sign(f) != (__builtin_isinf(f) != 0)) 32 link_error (__LINE__); 33 if ((_Bool)__builtin_isinf_sign(d) != (__builtin_isinf(d) != 0)) 34 link_error (__LINE__); 35 if ((_Bool)__builtin_isinf_sign(ld) != (__builtin_isinf(ld) != 0)) 36 link_error (__LINE__); 37 #endif 38 39 if ((__builtin_isinf_sign(f) != 0) != (__builtin_isinf(f) != 0)) 40 link_error (__LINE__); 41 if ((__builtin_isinf_sign(d) != 0) != (__builtin_isinf(d) != 0)) 42 link_error (__LINE__); 43 if ((__builtin_isinf_sign(ld) != 0) != (__builtin_isinf(ld) != 0)) 44 link_error (__LINE__); 45 46 if ((__builtin_isinf_sign(f) ? 5 : 6) != (__builtin_isinf(f) ? 5 : 6)) 47 link_error (__LINE__); 48 if ((__builtin_isinf_sign(d) ? 5 : 6) != (__builtin_isinf(d) ? 5 : 6)) 49 link_error (__LINE__); 50 if ((__builtin_isinf_sign(ld) ? 5 : 6) != (__builtin_isinf(ld) ? 5 : 6)) 51 link_error (__LINE__); 52 } 53 main(void)54int main (void) 55 { 56 foo (1, 2, 3); 57 return 0; 58 } 59