Viewing file:  builtin-isinf_sign-1.c (1.82 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Copyright (C) 2008 Free Software Foundation.
Verify that __builtin_isinf_sign folds correctly.
Origin: Kaveh R. Ghazi, May 17, 2008. */
/* { dg-do link } */
/* All references to link_error should go away at compile-time. */
extern void link_error(int);
void __attribute__ ((__noinline__))
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 main (void)
{
foo (1, 2, 3);
return 0;
}
|
