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/fold-const.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/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index b0d1db2..6eee710 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -9024,13 +9024,18 @@ tree_expr_nonnegative_p (tree t) CASE_BUILTIN_F (BUILT_IN_FREXP) CASE_BUILTIN_F (BUILT_IN_HYPOT) CASE_BUILTIN_F (BUILT_IN_POW10) - CASE_BUILTIN_F (BUILT_IN_SQRT) CASE_BUILTIN_I (BUILT_IN_FFS) CASE_BUILTIN_I (BUILT_IN_PARITY) CASE_BUILTIN_I (BUILT_IN_POPCOUNT) /* Always true. */ return 1; + CASE_BUILTIN_F (BUILT_IN_SQRT) + /* sqrt(-0.0) is -0.0. */ + if (!HONOR_SIGNED_ZEROS (TYPE_MODE (TREE_TYPE (t)))) + return 1; + return tree_expr_nonnegative_p (TREE_VALUE (arglist)); + CASE_BUILTIN_F (BUILT_IN_ASINH) CASE_BUILTIN_F (BUILT_IN_ATAN) CASE_BUILTIN_F (BUILT_IN_ATANH) @@ -9057,17 +9062,17 @@ tree_expr_nonnegative_p (tree t) /* True if the 1st argument is nonnegative. */ return tree_expr_nonnegative_p (TREE_VALUE (arglist)); - CASE_BUILTIN_F(BUILT_IN_FMAX) + CASE_BUILTIN_F (BUILT_IN_FMAX) /* True if the 1st OR 2nd arguments are nonnegative. */ return tree_expr_nonnegative_p (TREE_VALUE (arglist)) || tree_expr_nonnegative_p (TREE_VALUE (TREE_CHAIN (arglist))); - CASE_BUILTIN_F(BUILT_IN_FMIN) + CASE_BUILTIN_F (BUILT_IN_FMIN) /* True if the 1st AND 2nd arguments are nonnegative. */ return tree_expr_nonnegative_p (TREE_VALUE (arglist)) && tree_expr_nonnegative_p (TREE_VALUE (TREE_CHAIN (arglist))); - CASE_BUILTIN_F(BUILT_IN_COPYSIGN) + CASE_BUILTIN_F (BUILT_IN_COPYSIGN) /* True if the 2nd argument is nonnegative. */ return tree_expr_nonnegative_p (TREE_VALUE (TREE_CHAIN (arglist))); |