From 6017c7192b72a44f762521140f270ae91060c2f8 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Fri, 14 Feb 2003 17:50:30 +0000 Subject: [PATCH] simplify-rtx.c (simplify_binary_operation): Simplify ~y when (x - (x & y)) is found. * simplify-rtx.c (simplify_binary_operation): Simplify ~y when (x - (x & y)) is found. From-SVN: r62906 --- gcc/ChangeLog | 5 +++++ 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 + + * simplify-rtx.c (simplify_binary_operation): Simplify ~y when + (x - (x & y)) is found. + 2003-02-14 Rainer Orth * 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; -- 2.30.2