diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-10-04 14:19:48 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-10-04 14:19:48 +0000 |
| commit | 63a14fa3cd8ff97801699bb6e07fcbe876aba5fe (patch) | |
| tree | 2dd072aa0bde225c3eaae2c8ac93ae95850b97da /gcc | |
| parent | f913dcd658ab79063f58fde617c2c86ab15733ec (diff) | |
| download | gcc-63a14fa3cd8ff97801699bb6e07fcbe876aba5fe.zip gcc-63a14fa3cd8ff97801699bb6e07fcbe876aba5fe.tar.gz gcc-63a14fa3cd8ff97801699bb6e07fcbe876aba5fe.tar.bz2 | |
tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p instead of pointer equality.
2008-10-04 Richard Guenther <rguenther@suse.de>
* tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p
instead of pointer equality.
(vn_nary_op_eq): Likewise.
* gcc.dg/tree-ssa/ssa-pre-21.c: New testcase.
From-SVN: r140868
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c | 15 | ||||
| -rw-r--r-- | gcc/tree-ssa-sccvn.c | 4 |
4 files changed, 27 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ce0d95a..30fe245 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-04 Richard Guenther <rguenther@suse.de> + + * tree-ssa-sccvn.c (vn_reference_op_eq): Use types_compatible_p + instead of pointer equality. + (vn_nary_op_eq): Likewise. + 2008-10-03 Andrew Pinski <andrew_pinski@playstation.sony.com> * config/rs6000/rs6000.md (fseldfsf4): Add TARGET_SINGLE_FLOAT diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9078edc..c0687c9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-10-04 Richard Guenther <rguenther@suse.de> + + * gcc.dg/tree-ssa/ssa-pre-21.c: New testcase. + 2008-10-03 Jakub Jelinek <jakub@redhat.com> PR debug/37726 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c b/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c new file mode 100644 index 0000000..65a73d2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/ssa-pre-21.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-pre" } */ + +long +NumSift (long *array, unsigned long k) +{ + if (array[k] < array[k + 1L]) + ++k; + return array[k]; +} + +/* There should be only two loads left. */ + +/* { dg-final { scan-tree-dump-times "= \\\*D" 2 "pre" } } */ +/* { dg-final { cleanup-tree-dump "pre" } } */ diff --git a/gcc/tree-ssa-sccvn.c b/gcc/tree-ssa-sccvn.c index 290b308..082a278 100644 --- a/gcc/tree-ssa-sccvn.c +++ b/gcc/tree-ssa-sccvn.c @@ -387,7 +387,7 @@ vn_reference_op_eq (const void *p1, const void *p2) const_vn_reference_op_t const vro1 = (const_vn_reference_op_t) p1; const_vn_reference_op_t const vro2 = (const_vn_reference_op_t) p2; return vro1->opcode == vro2->opcode - && vro1->type == vro2->type + && types_compatible_p (vro1->type, vro2->type) && expressions_equal_p (vro1->op0, vro2->op0) && expressions_equal_p (vro1->op1, vro2->op1) && expressions_equal_p (vro1->op2, vro2->op2); @@ -1184,7 +1184,7 @@ vn_nary_op_eq (const void *p1, const void *p2) unsigned i; if (vno1->opcode != vno2->opcode - || vno1->type != vno2->type) + || !types_compatible_p (vno1->type, vno2->type)) return false; for (i = 0; i < vno1->length; ++i) |