fold-const.c (tree_expr_nonnegative_p): A&B is nonnegative when A is nonnegative...

	* fold-const.c (tree_expr_nonnegative_p): A&B is nonnegative when
	A is nonnegative or B is nonnegative.  Similarly A|B is nonnegative
	when both A and B are nonnegative.
	(tree_expr_nonzero_p): A|B is nonzero when A is nonzero or B is
	nonzero.

From-SVN: r79870

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index af4fae53571ca85f432922a78c2ac363e4a4655f..603f6a45f29c3cd7875ffc9309307a2e87180604 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2004-03-23  Roger Sayle  <roger@eyesopen.com>
+
+       * fold-const.c (tree_expr_nonnegative_p): A&B is nonnegative when
+       A is nonnegative or B is nonnegative.  Similarly A|B is nonnegative
+       when both A and B are nonnegative.
+       (tree_expr_nonzero_p): A|B is nonzero when A is nonzero or B is
+       nonzero.
+
 2004-03-23  Kazu Hirata  <kazu@cs.umass.edu>
 
        * fold-const.c (fold): Remove cases for INTEGER_CST, REAL_CST,

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 948a46c939da45f5432355ac1eace69f4d831268..417d1a45c8ea930a4627a35cd8d707abfdfb2a11 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -8717,6 +8717,13 @@ tree_expr_nonnegative_p (tree t)
       return tree_expr_nonnegative_p (TREE_OPERAND (t, 0))
             && tree_expr_nonnegative_p (TREE_OPERAND (t, 1));
 
+    case BIT_AND_EXPR:
+      return tree_expr_nonnegative_p (TREE_OPERAND (t, 1))
+            || tree_expr_nonnegative_p (TREE_OPERAND (t, 0));
+    case BIT_IOR_EXPR:
+      return tree_expr_nonnegative_p (TREE_OPERAND (t, 0))
+            && tree_expr_nonnegative_p (TREE_OPERAND (t, 1));
+
     case NOP_EXPR:
       {
        tree inner_type = TREE_TYPE (TREE_OPERAND (t, 0));
@@ -8955,6 +8962,10 @@ tree_expr_nonzero_p (tree t)
     case NON_LVALUE_EXPR:
       return tree_expr_nonzero_p (TREE_OPERAND (t, 0));
 
+    case BIT_IOR_EXPR:
+      return tree_expr_nonzero_p (TREE_OPERAND (t, 1))
+            || tree_expr_nonzero_p (TREE_OPERAND (t, 0));
+
     default:
       break;
     }