From a6a0f876237d5c12b446cb6754b908ebb508cd1c Mon Sep 17 00:00:00 2001 From: Roger Sayle Date: Thu, 18 Sep 2003 19:07:04 +0000 Subject: [PATCH] simplify-rtx.c (simplify_unary_operation): Only transform (not (eq X Y)) into (ne X Y) when... * simplify-rtx.c (simplify_unary_operation): Only transform (not (eq X Y)) into (ne X Y) when mode is BImode or STORE_FLAG_VALUE is -1. RTL "not" is a bit-wise not, "~", not a logical not "!". From-SVN: r71532 --- gcc/ChangeLog | 6 ++++++ gcc/simplify-rtx.c | 1 + 2 files changed, 7 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0b4f6d61960..aac42bff409 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2003-09-18 Roger Sayle + + * simplify-rtx.c (simplify_unary_operation): Only transform + (not (eq X Y)) into (ne X Y) when mode is BImode or STORE_FLAG_VALUE + is -1. RTL "not" is a bit-wise not, "~", not a logical not "!". + 2003-09-18 Zdenek Dvorak PR target/11674 diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index f2da9eef4d0..c338b665ca0 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -808,6 +808,7 @@ simplify_unary_operation (enum rtx_code code, enum machine_mode mode, /* (not (eq X Y)) == (ne X Y), etc. */ if (GET_RTX_CLASS (GET_CODE (op)) == '<' + && (mode == BImode || STORE_FLAG_VALUE == -1) && ((reversed = reversed_comparison_code (op, NULL_RTX)) != UNKNOWN)) return simplify_gen_relational (reversed, mode, VOIDmode,