diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/simplify-rtx.c | 14 |
2 files changed, 15 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 09580645f56..a51c6bdfd07 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-02-14 Kazu Hirata <kazu@cs.umass.edu> + + * simplify-rtx.c (simplify_binary_operation): Simplify ~y when + (x - (x & y)) is found. + 2003-02-14 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE> * configure.in: Fix typo. diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index e874c2a2883..9d3b2138784 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1338,11 +1338,17 @@ simplify_binary_operation (code, mode, op0, op1) if (GET_CODE (op1) == AND) { if (rtx_equal_p (op0, XEXP (op1, 0))) - return simplify_gen_binary (AND, mode, op0, - gen_rtx_NOT (mode, XEXP (op1, 1))); + { + tem = simplify_gen_unary (NOT, mode, XEXP (op1, 1), + GET_MODE (XEXP (op1, 1))); + return simplify_gen_binary (AND, mode, op0, tem); + } if (rtx_equal_p (op0, XEXP (op1, 1))) - return simplify_gen_binary (AND, mode, op0, - gen_rtx_NOT (mode, XEXP (op1, 0))); + { + tem = simplify_gen_unary (NOT, mode, XEXP (op1, 0), + GET_MODE (XEXP (op1, 0))); + return simplify_gen_binary (AND, mode, op0, tem); + } } break; |