1 /* Copyright (C) 2008 Free Software Foundation.
3 Verify that __builtin_isinf_sign folds correctly.
5 Origin: Kaveh R. Ghazi, May 17, 2008. */
9 /* All references to link_error should go away at compile-time. */
10 extern void link_error(int);
12 void __attribute__ ((__noinline__
))
13 foo (float f
, double d
, long double ld
)
15 /* Test the generic expansion of isinf_sign. */
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__
);
28 /* In boolean contexts, GCC will fold the inner conditional
29 expression to 1. So isinf_sign folds to plain isinf. */
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__
);
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__
);
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__
);
