fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is positive if its first argumen...

2005-08-02  Richard Guenther  <rguenther@suse.de>

	* fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is
	positive if its first argument is positive.

From-SVN: r102657

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5127e439ac8c2fe133d6e6cab887e373ff9164fe..216deb92419cd9151785f7f7388d26458c637416 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-08-02  Richard Guenther  <rguenther@suse.de>
+
+       * fold-const.c (tree_expr_nonnegative_p): frexp(x, &e) is
+       positive if its first argument is positive.
+
 2005-08-02  Richard Guenther  <rguenther@suse.de>
 
        PR tree-optimization/23177

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index c74f8910374a97a3388d622cdf70210a8fcfd554..ed5394af44db10c9ece19b3a097135b6f5b319f0 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -10904,7 +10904,6 @@ tree_expr_nonnegative_p (tree t)
            CASE_BUILTIN_F (BUILT_IN_EXP2)
            CASE_BUILTIN_F (BUILT_IN_FABS)
            CASE_BUILTIN_F (BUILT_IN_FDIM)
-           CASE_BUILTIN_F (BUILT_IN_FREXP)
            CASE_BUILTIN_F (BUILT_IN_HYPOT)
            CASE_BUILTIN_F (BUILT_IN_POW10)
            CASE_BUILTIN_I (BUILT_IN_FFS)
@@ -10928,6 +10927,7 @@ tree_expr_nonnegative_p (tree t)
            CASE_BUILTIN_F (BUILT_IN_EXPM1)
            CASE_BUILTIN_F (BUILT_IN_FLOOR)
            CASE_BUILTIN_F (BUILT_IN_FMOD)
+           CASE_BUILTIN_F (BUILT_IN_FREXP)
            CASE_BUILTIN_F (BUILT_IN_LCEIL)
            CASE_BUILTIN_F (BUILT_IN_LDEXP)
            CASE_BUILTIN_F (BUILT_IN_LFLOOR)