From 34ed3bb00e99bb22e24b3dab90f5923cad8483a5 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Sun, 13 Jul 2003 19:03:28 +0000 Subject: [PATCH] combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0). * combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) to (eq (and X 1) 0). From-SVN: r69300 --- gcc/ChangeLog | 5 +++++ gcc/combine.c | 11 +++++++++++ 2 files changed, 16 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e94b4c0e517..0da79711c1e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-07-13 Kazu Hirata + + * combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) + to (eq (and X 1) 0). + 2003-07-13 Andreas Jaeger * config.gcc: Add pmmintrin.h for x86_64-*-*. 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 -- 2.30.2