diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/combine.c | 11 |
2 files changed, 16 insertions, 0 deletions
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 <kazu@cs.umass.edu> + + * combine.c (simplify_comparison): Convert (ne (and (not X) 1) 0) + to (eq (and X 1) 0). + 2003-07-13 Andreas Jaeger <aj@suse.de> * 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 |
