diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2004-01-24 12:01:29 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2004-01-24 12:01:29 +0100 |
| commit | 5473cfa7fd6c83fc6f7f1575dad275690aa29ded (patch) | |
| tree | 80619cfb79cfe4992a98b70a94b5b710e8868a5d /gcc | |
| parent | a51530561272552af3a5d99264da1e57028d4d27 (diff) | |
| download | gcc-5473cfa7fd6c83fc6f7f1575dad275690aa29ded.zip gcc-5473cfa7fd6c83fc6f7f1575dad275690aa29ded.tar.gz gcc-5473cfa7fd6c83fc6f7f1575dad275690aa29ded.tar.bz2 | |
simplify-rtx.c (simplify_relational_operation): Don't simplify address == constant into address + -constant == 0.
* simplify-rtx.c (simplify_relational_operation): Don't
simplify address == constant into address + -constant == 0.
* gcc.dg/20040123-1.c: New test.
From-SVN: r76490
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/simplify-rtx.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/20040123-1.c | 12 |
4 files changed, 23 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index edb6922..77bfc87 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-01-24 Jakub Jelinek <jakub@redhat.com> + + * simplify-rtx.c (simplify_relational_operation): Don't + simplify address == constant into address + -constant == 0. + 2004-01-24 Kazu Hirata <kazu@cs.umass.edu> * gcc.c (process_command): Don't internationalize the diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index cebbf04..7f6b549 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 370c1aa..ed7cb61 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2004-01-24 Jakub Jelinek <jakub@redhat.com> + + * gcc.dg/20040123-1.c: New test. + 2004-01-23 Zack Weinberg <zack@codesourcery.com> * 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 0000000..2a73382 --- /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 (); +} |