diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 8 |
2 files changed, 7 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b14dd7e..9ccd1a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-09-30 Kazu Hirata <kazu@cs.umass.edu> + + * fold-const.c (fold): Fold (A & ~B) - (A & B) into + (A ^ B) - B for any B. + 2003-09-30 Nathanael Nerode <neroden@gcc.gnu.org> * config.gcc (arm*-*-kaos*, i[34567]86-*-kaos*, powerpc-*-kaos*, diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 54458ef..f5a6f78 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -6023,17 +6023,13 @@ fold (tree expr) if (TREE_CODE (arg0) == BIT_AND_EXPR && TREE_CODE (arg1) == BIT_AND_EXPR && operand_equal_p (TREE_OPERAND (arg0, 0), - TREE_OPERAND (arg1, 0), 0) - && TREE_CODE (TREE_OPERAND (arg0, 1)) == INTEGER_CST - && TREE_CODE (TREE_OPERAND (arg1, 1)) == INTEGER_CST) + TREE_OPERAND (arg1, 0), 0)) { tree mask0 = TREE_OPERAND (arg0, 1); tree mask1 = TREE_OPERAND (arg1, 1); tree tem = fold (build1 (BIT_NOT_EXPR, type, mask0)); - if (operand_equal_p (tem, mask1, 0) - && integer_pow2p (fold (build (PLUS_EXPR, type, - mask1, integer_one_node)))) + if (operand_equal_p (tem, mask1, 0)) { tem = fold (build (BIT_XOR_EXPR, type, TREE_OPERAND (arg0, 0), mask1)); |