From f02d7e274a2aa50ce648bfb5a54d803c6e0f8770 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Sat, 24 Jan 2004 11:01:29 +0000 Subject: * simplify-rtx.c (simplify_relational_operation): Don't simplify address == constant into address + -constant == 0. * gcc.dg/20040123-1.c: New test. git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@76490 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/simplify-rtx.c | 2 ++ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/20040123-1.c | 12 ++++++++++++ 4 files changed, 23 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/20040123-1.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index edb69224979..77bfc8784c8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-01-24 Jakub Jelinek + + * simplify-rtx.c (simplify_relational_operation): Don't + simplify address == constant into address + -constant == 0. + 2004-01-24 Kazu Hirata * gcc.c (process_command): Don't internationalize the diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index cebbf04b460..7f6b549b0fb 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -2530,6 +2530,8 @@ simplify_relational_operation (enum rtx_code code, enum machine_mode mode, && ! ((GET_CODE (op0) == REG || GET_CODE (trueop0) == CONST_INT) && (GET_CODE (op1) == REG || GET_CODE (trueop1) == CONST_INT)) && 0 != (tem = simplify_binary_operation (MINUS, mode, op0, op1)) + /* We cannot do this for == or != if tem is a nonzero address. */ + && ((code != EQ && code != NE) || ! nonzero_address_p (tem)) && code != GTU && code != GEU && code != LTU && code != LEU) return simplify_relational_operation (signed_condition (code), mode, tem, const0_rtx); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 370c1aa63e3..ed7cb61ae4c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2004-01-24 Jakub Jelinek + + * gcc.dg/20040123-1.c: New test. + 2004-01-23 Zack Weinberg * gcc.dg/builtins-30.c: Move dg-warning marks to the proper lines. diff --git a/gcc/testsuite/gcc.dg/20040123-1.c b/gcc/testsuite/gcc.dg/20040123-1.c new file mode 100644 index 00000000000..2a73382dd94 --- /dev/null +++ b/gcc/testsuite/gcc.dg/20040123-1.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ +/* { dg-final { scan-assembler "abort" } } */ + +extern void abort (void); +extern char a[]; + +void foo (void) +{ + if ((void *) a == (void *) 0x4000UL) + abort (); +} -- cgit v1.2.3