diff options
| author | ghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-10-24 12:25:06 +0000 |
|---|---|---|
| committer | ghazi <ghazi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-10-24 12:25:06 +0000 |
| commit | 6fcd1f86410a58eed8abeda4ebc034b68e8bbe34 (patch) | |
| tree | 99506c5eb0cdbf2dfd9841d13a428627c1e65a8f /gcc/testsuite/gcc.dg/torture | |
| parent | b70bfd00bf48ebbfd19f532753afd2852ff589cc (diff) | |
| download | gcc-6fcd1f86410a58eed8abeda4ebc034b68e8bbe34.tar.gz | |
* gcc.dg/torture/builtin-math-2.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@118003 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/testsuite/gcc.dg/torture')
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/builtin-math-2.c | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/builtin-math-2.c b/gcc/testsuite/gcc.dg/torture/builtin-math-2.c new file mode 100644 index 00000000000..deeedf7142c --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/builtin-math-2.c @@ -0,0 +1,67 @@ +/* Test things that should block GCC from optimizing compile-time + constants passed to a builtin transcendental function. + + Origin: Kaveh R. Ghazi 10/22/2006. */ + +/* { dg-do compile } */ +/* { dg-options "-fdump-tree-original" } */ + +extern void foof (float); +extern void foo (double); +extern void fool (long double); + +void bar() +{ + /* An argument of NaN is not evaluated at compile-time. */ + foof (__builtin_exp2f (__builtin_nanf(""))); + foo (__builtin_exp2 (__builtin_nan(""))); + fool (__builtin_exp2l (__builtin_nanl(""))); + + /* An argument of Inf/-Inf is not evaluated at compile-time. */ + foof (__builtin_exp2f (__builtin_inff())); + foo (__builtin_exp2 (__builtin_inf())); + fool (__builtin_exp2l (__builtin_infl())); + foof (__builtin_exp2f (-__builtin_inff())); + foo (__builtin_exp2 (-__builtin_inf())); + fool (__builtin_exp2l (-__builtin_infl())); + + /* Result overflows MPFR, which in version 2.2.x has 30 exponent bits. */ + foof (__builtin_exp2f (0x1p50F)); + foo (__builtin_exp2 (0x1p50)); + fool (__builtin_exp2l (0x1p50L)); + /* Result underflows MPFR, which in version 2.2.x has 30 exponent bits. */ + foof (__builtin_exp2f (-0x1p50F)); + foo (__builtin_exp2 (-0x1p50)); + fool (__builtin_exp2l (-0x1p50L)); + + /* Result overflows GCC's REAL_VALUE_TYPE, which has 26 exponent bits. */ + foof (__builtin_exp2f (0x1p28F)); + foo (__builtin_exp2 (0x1p28)); + fool (__builtin_exp2l (0x1p28L)); + /* Result underflows GCC's REAL_VALUE_TYPE, which has 26 exponent bits. */ + foof (__builtin_exp2f (-0x1p28F)); + foo (__builtin_exp2 (-0x1p28)); + fool (__builtin_exp2l (-0x1p28L)); + + /* Result overflows (even an extended) C double's mode. */ + foof (__builtin_exp2f (0x1p24F)); + foo (__builtin_exp2 (0x1p24)); + fool (__builtin_exp2l (0x1p24L)); + /* Result underflows (even an extended) C double's mode. */ + foof (__builtin_exp2f (-0x1p24F)); + foo (__builtin_exp2 (-0x1p24)); + fool (__builtin_exp2l (-0x1p24L)); + + /* Ensure that normal arguments/results are folded. */ + foof (__builtin_exp2f (1.5F)); + foo (__builtin_exp2 (1.5)); + fool (__builtin_exp2l (1.5L)); + foof (__builtin_exp2f (-1.5F)); + foo (__builtin_exp2 (-1.5)); + fool (__builtin_exp2l (-1.5L)); +} + +/* { dg-final { scan-tree-dump-times "exp2 " 9 "original" } } */ +/* { dg-final { scan-tree-dump-times "exp2f" 9 "original" } } */ +/* { dg-final { scan-tree-dump-times "exp2l" 9 "original" } } */ +/* { dg-final { cleanup-tree-dump "original" } } */ |