diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.dg/builtins-45.c')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/builtins-45.c | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/builtins-45.c b/gcc-4.9/gcc/testsuite/gcc.dg/builtins-45.c new file mode 100644 index 000000000..15ec33af6 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/builtins-45.c @@ -0,0 +1,57 @@ +/* { dg-do compile } */ +/* { dg-options "-O1 -fno-trapping-math -fno-finite-math-only -fdump-tree-optimized" } */ + +extern void f(int); +extern void link_error (); + +extern float x; +extern double y; +extern long double z; + +int +main () +{ + double nan = __builtin_nan (""); +#ifndef __SPU__ + /* The SPU single-precision floating point format does not support NANs. */ + float nanf = __builtin_nanf (""); +#endif + long double nanl = __builtin_nanl (""); + + double pinf = __builtin_inf (); +#ifndef __SPU__ + /* The SPU single-precision floating point format does not support Inf. */ + float pinff = __builtin_inff (); +#endif + long double pinfl = __builtin_infl (); + + if (__builtin_finite (pinf)) + link_error (); +#ifndef __SPU__ + if (__builtin_finitef (pinff)) + link_error (); +#endif + if (__builtin_finitel (pinfl)) + link_error (); + + if (__builtin_finite (nan)) + link_error (); +#ifndef __SPU__ + if (__builtin_finitef (nanf)) + link_error (); +#endif + if (__builtin_finitel (nanl)) + link_error (); + + if (!__builtin_finite (4.0)) + link_error (); + if (!__builtin_finitef (4.0)) + link_error (); + if (!__builtin_finitel (4.0)) + link_error (); +} + + +/* Check that all instances of link_error were subject to DCE. */ +/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized" } } */ +/* { dg-final { cleanup-tree-dump "optimized" } } */ |