diff options
| author | Roger Sayle <roger@eyesopen.com> | 2004-03-23 19:11:35 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2004-03-23 19:11:35 +0000 |
| commit | b1500d001aa58e8712c201ce9fbbad9288a87649 (patch) | |
| tree | 2b56aae8824e1a5c46e1aee5e858bcf704cd6e4b /gcc | |
| parent | 986dc4e5c484406ad0024de79feb8905602542b4 (diff) | |
| download | gcc-b1500d001aa58e8712c201ce9fbbad9288a87649.zip gcc-b1500d001aa58e8712c201ce9fbbad9288a87649.tar.gz gcc-b1500d001aa58e8712c201ce9fbbad9288a87649.tar.bz2 | |
fold-const.c (tree_expr_nonnegative_p): A&B is nonnegative when A is nonnegative or B 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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/fold-const.c | 11 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index af4fae5..603f6a4 100644 --- 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 948a46c..417d1a4 100644 --- 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; } |