diff options
| author | Roger Sayle <roger@eyesopen.com> | 2004-06-07 20:50:14 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2004-06-07 20:50:14 +0000 |
| commit | 67057c537b7f1f895ff87f8616e8a122f886f1bf (patch) | |
| tree | cf683ee1008a7ca53b18dd77effb242f594c9a57 /gcc/testsuite/gcc.dg/builtins-41.c | |
| parent | f29b9db93eb2f3508d2376103af158675f1ee2b0 (diff) | |
| download | gcc-67057c537b7f1f895ff87f8616e8a122f886f1bf.zip gcc-67057c537b7f1f895ff87f8616e8a122f886f1bf.tar.gz gcc-67057c537b7f1f895ff87f8616e8a122f886f1bf.tar.bz2 | |
real.c (real_copysign): New function to implement libm's copysign.
* real.c (real_copysign): New function to implement libm's copysign.
* real.h (real_copysign): Prototype here.
* fold-const.c (tree_expr_nonnegative_p): The result of sqrt, sqrtf
and sqrtl can be negative, as sqrt(-0.0) = -0.0. Correct whitespace.
* builtins.c (fold_builtin_isascii, fold_builtin_toascii,
fold_builtin_isdigit): Add function prototypes.
(fold_builtin_copysign): New function to fold copysign, copysignf
and copysignl. Optimize copysign(x,x) as x. Evaluate copysign of
constant arguments at compile-time using real_copysign. Fold
copysign(X,Y) as fabs(X) if Y is always non-negative.
(fold_builtin_1): Correct minor whitespace/style issues. Call
fold_builtin_copysign for BUILT_IN_COPYSIGN{,F,L}.
* gcc.dg/builtins-41.c: New test case.
* gcc.dg/builtins-42.c: New test case.
From-SVN: r82721
Diffstat (limited to 'gcc/testsuite/gcc.dg/builtins-41.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/builtins-41.c | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/builtins-41.c b/gcc/testsuite/gcc.dg/builtins-41.c new file mode 100644 index 0000000..5b96551 --- /dev/null +++ b/gcc/testsuite/gcc.dg/builtins-41.c @@ -0,0 +1,57 @@ +/* Copyright (C) 2004 Free Software Foundation. + + Check that constant folding of copysign, copysignf and copysignl math + functions doesn't break anything and produces the expected results. + + Written by Roger Sayle, 6th June 2004. */ + +/* { dg-do link } */ +/* { dg-options "-O2" } */ + +extern void link_error(void); + +extern double copysign(double, double); +extern float copysignf(float, float); +extern long double copysignl(long double, long double); + +int main() +{ + if (copysign (2.0, 1.0) != 2.0) + link_error (); + if (copysign (2.0, -1.0) != -2.0) + link_error (); + if (copysign (-2.0, 1.0) != 2.0) + link_error (); + if (copysign (-2.0, -1.0) != -2.0) + link_error (); + + if (copysign (2.0, 1.0) != 2.0) + link_error (); + if (copysign (2.0, -1.0) != -2.0) + link_error (); + if (copysign (-2.0, 1.0) != 2.0) + link_error (); + if (copysign (-2.0, -1.0) != -2.0) + link_error (); + + if (copysignf (2.0f, 1.0f) != 2.0f) + link_error (); + if (copysignf (2.0f, -1.0f) != -2.0f) + link_error (); + if (copysignf (-2.0f, 1.0f) != 2.0f) + link_error (); + if (copysignf (-2.0f, -1.0f) != -2.0f) + link_error (); + + if (copysignl (2.0l, 1.0l) != 2.0l) + link_error (); + if (copysignl (2.0l, -1.0l) != -2.0l) + link_error (); + if (copysignl (-2.0l, 1.0l) != 2.0l) + link_error (); + if (copysignl (-2.0l, -1.0l) != -2.0l) + link_error (); + + return 0; +} + |