diff options
| author | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-06-07 20:50:14 +0000 |
|---|---|---|
| committer | sayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4> | 2004-06-07 20:50:14 +0000 |
| commit | 467214fdd324396920f24256f9c614b1f1718c5f (patch) | |
| tree | cf683ee1008a7ca53b18dd77effb242f594c9a57 /gcc/fold-const.c | |
| parent | 29f35f64b0af5c407822c7e16de1e365a2165025 (diff) | |
| download | gcc-467214fdd324396920f24256f9c614b1f1718c5f.tar.gz | |
* 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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@82721 138bc75d-0d04-0410-961f-82ee72b054a4
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 b0d1db29237..6eee7101658 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))); |