From fd4f87f4519c9519beebb5af1e68fbffbca1b9b8 Mon Sep 17 00:00:00 2001 From: kazu Date: Sun, 13 Jul 2003 19:03:28 +0000 Subject: * combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0). git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@69300 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/combine.c | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'gcc/combine.c') diff --git a/gcc/combine.c b/gcc/combine.c index 499e7b992cc..3c3172b0835 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -11059,6 +11059,17 @@ simplify_comparison (enum rtx_code code, rtx *pop0, rtx *pop1) } } + /* Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0). */ + if (const_op == 0 && equality_comparison_p + && XEXP (op0, 1) == const1_rtx + && GET_CODE (XEXP (op0, 0)) == NOT) + { + op0 = simplify_and_const_int + (op0, mode, XEXP (XEXP (op0, 0), 0), (HOST_WIDE_INT) 1); + code = (code == NE ? EQ : NE); + continue; + } + /* Convert (ne (and (lshiftrt (not X)) 1) 0) to (eq (and (lshiftrt X) 1) 0). */ if (const_op == 0 && equality_comparison_p -- cgit v1.2.1